Electronic Notes in Theoretical Computer Science, Volume 258

Volume 258, Number 1, December 2009

• Paqui Lucio, Ginés Moreno, Ricardo Peña:
  Preface. 1-2
  
• S. Santiago, Carolyn L. Talcott, Santiago Escobar, Catherine Meadows, José Meseguer:
  A Graphical User Interface for Maude-NPA. 3-20
  
• Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén:
  To be or not to be ...lazy (In a Parallel Context). 21-39
  
• Salvador Lucas:
  Automatic Proofs of Termination With Elementary Interpretations. 41-61
  
• Alexei Lescaylle, Alicia Villanueva:
  The tccp Interpreter. 63-77
  
• Sonia Estévez Martín, Antonio José Fernández Leiva, Fernando Sáenz-Pérez:
  TOY: A System for Experimenting with Cooperation of Constraint Domains. 79-91
  
• Silvia Clerici, Cristina Zoltan, Guillermo Prestigiacomo:
  NiMoToons: a Totally Graphic Workbench for Program Tuning and Experimentation. 93-107
  
• Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla, D. Ramírez, G. Román, Damiano Zanardini:
  Termination and Cost Analysis with COSTA and its User Interfaces. 109-121
  

Volume 258, Number 2, December 2009

• Leo Marcus:
  Preface. 1-2
  
• Fuad Abujarad, Sandeep S. Kulkarni:
  Weakest Invariant Generation for Automated Addition of Fault-Tolerance. 3-15
  
• Pablo F. Castro, T. S. E. Maibaum:
  Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance. 17-34
  
• Joseph Fitzsimons, Jason Twamley:
  Quantum Fault Tolerance in Systems with Restricted Control. 35-49