Information and Computation, Volume 202

Volume 202, Number 1, 10 October 2005

• Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, Milind A. Sohoni, P. S. Thiagarajan:
  A theory of regular MSC languages. 1-38
  
• Michele Bugliesi, Silvia Crafa, Massimo Merro, Vladimiro Sassone:
  Communication and mobility control in boxed ambients. 39-86
  
• Guo-Qiang Zhang, Ying Jiang:
  On an open problem of Amadio and Curien: The finite antichain condition. 87-103
  

Volume 202, Number 2, 1 November 2005

• Volker Diekert, Claudio Gutiérrez, Christian Hagenah:
  The existential theory of equations with rational constraints in free groups is PSPACE-complete. 105-140
  
• Parosh Aziz Abdulla, Nathalie Bertrand, Alexander Moshe Rabinovich, Ph. Schnoebelen:
  Verification of probabilistic systems with faulty communication. 141-165
  
• Gérard Cécé, Alain Finkel:
  Verification of programs with half-duplex communication. 166-190
  
• Sara Gradara, Antonella Santone, Maria Luisa Villani:
  Using heuristic search for finding deadlocks in concurrent systems. 191-226
  

Last update Tue May 21 18:57:04 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page