Electronic Notes in Theoretical Computer Science, Volume 206

Volume 206, April 2008

• Ernesto Pimentel:
  Preface. 1-2
  
• María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva:
  An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation. 3-21
  
• Javier Álvez, Paqui Lucio:
  A New Proposal Of Quasi-Solved Form For Equality Constraint Solving. 23-40
  
• David de Frutos-Escrig, Carlos Gregorio-Rodríguez:
  Constrained Simulations, Nested Simulation Semantics and Counting Bisimulations. 41-58
  
• Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro:
  Systematic Semantic Tableaux for PLTL. 59-73
  
• Salvador Lucas, Rafael Navarro-Marset:
  Comparing CSP and SAT Solvers for Polynomial Constraints in Termination Provers. 75-90
  
• Narciso Martí-Oliet, José Meseguer, Miguel Palomino:
  Algebraic Stuttering Simulations. 91-110
  
• Fernando Orejas, Sonia Pérez:
  Architectural Connectors for Sequence Diagrams. 111-131
  
• Pedro Pablo Pérez Velasco, Juan de Lara:
  Using Matrix Graph Grammars for the Analysis of Behavioural Specifications: Sequential and Parallel Independence. 133-152
  
• Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández:
  Functions and Lazy Evaluation in Prolog. 153-174