The Chemical Abstract Machine (1998)

Cached

Download Links

by Gérard Berry , Gérard Boudol
Citations:448 - 5 self

Active Bibliography

2 Strategic Directions in Computing Research Concurrency Working Group Report – Rance Cleaveland, Scott A. Smolka (eds.) - 1996
147 Rewriting Logic as a Logical and Semantic Framework – Narciso Martí-Oliet, José Meseguer - 1993
1 Linda based Applicative and Imperative Process Algebras – Rocco De Nicola, Rosario Pugliese
34 Gamma And The Chemical Reaction Model: Ten Years After – J.-P. Banâtre, D. Le Métayer
13 Gamma And The Chemical Reaction Model – Jean-Pierre Banâtre, Daniel Le Métayer - 1996
8 Finite axiom systems for testing preorder and De Simone Process Languages – Irek Ulidowski - 2000
3 On the Bisimulation Theory and Axiomatization of Higher-order Process Calculi – Xian Xu
5 Description and Verification of Mobile Processes with Graph Rewriting Techniques – Barbara König
Modeling and Verification of Randomized . . . – Roberto Segala - 1995
1 Theory for Software Verification – David A. Naumann - 2009
6 Synthesising Labelled Transitions and Operational Congruences in Reactive Systems, Part 1 – James J. Leifer - 2002
34 Operational congruences for reactive systems – James Judi Leifer - 2001
1 Verifying Multran Programs With Temporal Logic – Wanli Ma, Mehmet Orgun - 1995
58 Fair testing – Arend Rensink, Walter Vogler - 1995
4 The Semantics of a Parallel Language based on a Shared Data space – Paolo Ciancarini, Keld K. Jensen, Dani Yankelevich - 1992
1 A Theory of Core Fudgets – Colin J. Taylor - 1998
222 A Foundation for Actor Computation – Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott - 1998
2 On the observational theory of the CPS-calculus ∗ – Massimo Merro
1 lambda-Calculus, Multiplicities and the pi-Calculus – Gérard Boudol, Cosimo Laneve, Cosimo Laneve - 1995