default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInformation 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 Gutierrez, 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, Philippe 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-05 22:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
