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
  Electronic Edition (link) BibTeX
• Michele Bugliesi, Silvia Crafa, Massimo Merro, Vladimiro Sassone:
  Communication and mobility control in boxed ambients. 39-86
  Electronic Edition (link) BibTeX
• Guo-Qiang Zhang, Ying Jiang:
  On an open problem of Amadio and Curien: The finite antichain condition. 87-103
  Electronic Edition (link) BibTeX

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
  Electronic Edition (link) BibTeX
• Parosh Aziz Abdulla, Nathalie Bertrand, Alexander Moshe Rabinovich, Ph. Schnoebelen:
  Verification of probabilistic systems with faulty communication. 141-165
  Electronic Edition (link) BibTeX
• Gérard Cécé, Alain Finkel:
  Verification of programs with half-duplex communication. 166-190
  Electronic Edition (link) BibTeX
• Sara Gradara, Antonella Santone, Maria Luisa Villani:
  Using heuristic search for finding deadlocks in concurrent systems. 191-226
  Electronic Edition (link) BibTeX