Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLIX 2006: Paris, France
- Catuscia Palamidessi, Frank Valencia:
Proceedings of the LIX Colloquium on Emerging Trends in Concurrency Theory, LIX 2006, Paris, France, November 13-15, 2006. Electronic Notes in Theoretical Computer Science 209, Elsevier 2008
- Catuscia Palamidessi
, Frank D. Valencia:
Preface. 1-4 - Robin Milner:
Bigraphs and Their Algebra. 5-19 - Jos C. M. Baeten, Dirk A. van Beek, Pieter J. L. Cuijpers, Michel A. Reniers, Jacobus E. Rooda, Ramon R. H. Schiffelers, Rolf J. M. Theunissen:
Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi. 21-53 - Jan A. Bergstra, Cornelis A. Middelburg:
Parallel Processes with Implicit Computational Capital. 55-81 - Mario Bravetti:
Extensions of Standard Weak Bisimulation Machinery: Finite-state General Processes, Refinable Actions, Maximal-progress and Time. 83-106 - Nadia Busi:
Expressiveness Issues in Brane Calculi: A Survey. 107-124 - Marco Carbone, Kohei Honda, Nobuko Yoshida:
Theoretical Aspects of Communication-Centred Programming. 125-133 - Emmanuelle Encrenaz, Laurent Fribourg:
Time Separation of Events: An Inverse Method. 135-148 - Hubert Garavel:
Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular. 149-164 - Tony Hoare:
Verification of Fine-grain Concurrent Programs. 165-171 - Joachim Parrow:
Expressiveness of Process Algebras. 173-186 - Kazunori Ueda:
Encoding Distributed Process Calculi into LMNtal. 187-200 - Filippo Bonchi, Ugo Montanari:
A Coalgebraic Theory of Reactive Systems. 201-215
a service of 
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 2023-03-22 21: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:
