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 updated on Sat May 25 06:11:36 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page