External Links

    Journal: Inf. Comput.

    Volume 202, Issue 2

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

    Volume 202, Issue 1

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