default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical Computer Science, Volume 274
Volume 274, Number 1-2, March 2002
- Davide Sangiorgi, Robert de Simone:
Ninth International Conference on Concurrency Theory 1998 - Editorial. 1 - Frank S. de Boer:
A Hoare logic for dynamic networks of asynchronously communicating deterministic processes. 3-41 - Holger Hermanns
, Ulrich Herzog, Joost-Pieter Katoen:
Process algebra for performance evaluation. 43-87 - Denis Lugiez, Philippe Schnoebelen:
The regular viewpoint on PA-processes. 89-115 - P. Madhusudan, P. S. Thiagarajan:
Branching time controllers for discrete event systems. 117-149 - Pierre-Yves Schobbens, Jean-François Raskin, Thomas A. Henzinger:
Axioms for real-time logics. 151-182 - Peter Sewell:
From rewrite rules to bisimulation congruences. 183-230 - Nobuko Yoshida:
Minimality and separation results on asynchronous mobile processes - representability theorems by concurrent combinators. 231-276
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-01-20 22:58 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:
