default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID12th EXPRESS 2005: San Francisco, CA, USA
- Jos C. M. Baeten, Iain C. C. Phillips:
Proceedings of the 12th Workshop on Expressiveness on Concurrency, EXPRESS 2005, San Francisco, CA, USA, August 27, 2005. Electronic Notes in Theoretical Computer Science 154(3), Elsevier 2006 - Jos C. M. Baeten, Iain C. C. Phillips:
Preface. 1-2 - Sibylle B. Fröschle, Slawomir Lasota
:
Causality Versus True-Concurrency. 3-18 - Maribel Fernández, Ian Mackie, François-Régis Sinot:
Interaction Nets vs. the rho-calculus: Introducing Bigraphical Nets. 19-32 - Roberto M. Amadio, Frédéric Dabrowski:
Feasible Reactivity for Synchronous Cooperative Threads. 33-43 - Johannes Borgström:
Static Equivalence is Harder than Knowledge. 45-57 - Nathalie Bertrand, Philippe Schnoebelen:
A Short Visit to the STS Hierarchy. 59-69 - Raymond R. Devillers, Hanna Klaudel, Maciej Koutny:
A Petri Net Semantics of a Simple Process Algebra for Mobility. 71-94 - Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi:
Separation of Synchronous and Asynchronous Communication Via Testing. 95-108 - Sébastien Briais, Uwe Nestmann:
Open Bisimulation, Revisited. 109-123
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 2024-12-18 18:32 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:
