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
  
• Sonia 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, Diana V. Ramírez-Deantes, Guillermo Román-Díez, 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
  

Last update Sat May 26 06:15:27 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page