Berry, G. and G. Boudol: 1992, `The chemical abstract machine'. Theoretical Computer Science 96(1), 217--248. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Orchestrating Transactions in Join Calculus - Roberto Bruni Cosimo (2002) (4 citations) (Correct)
The M-calculus: a higher-order distributed process calculus - Schmitt, al. (2003) (6 citations) (Correct)
Bigraphical Reactive Systems: Basic Theory - Milner (2001) (2 citations) (Correct)
Unknown - Moe Ffiw Rk (Correct)
A Monadic Multi-stage Metalanguage - Moggi, Fagorzi (2003) (5 citations) (Correct)
A Selection Scheme Based on Competition for Evolutionary.. - Tettamanzi (1994) (Correct)
Programming with Logical Links: Design of the LMNtal language.. - Ueda, Kato (2002) (Correct)
Process Calculi at work - An account of the LCS project - Berthomieu (1995) (2 citations) (Correct)
Multiset Rewriting and the Complexity of Bounded.. - Durgin, Lincoln.. (2002) (Correct)
Computational Models for Integrative and Developmental .. - Giavitto, Godin.. (2002) (Correct)
The Polyadic \pi-Calculus: a Tutorial - Milner (1991) (43 citations) (Correct)
Computational Interpretations of Linear Logic - Abramsky (1993) (225 citations) (Correct)
Research Directions in Rewriting Logic - Meseguer (1998) (10 citations) (Correct)
True Concurrency Semantics for a Linear Logic.. - Andreoli, Leth.. (1993) (8 citations) (Correct)
Representing the MSR Cryptoprotocol Specification Language.. - Cervesato, Stehr (2005) (Correct)
Composition Parallle - Et Synchronisation De (Correct)
Discovering the Behaviour of a - Network From Local (Correct)
High-Level Petri Nets as - Type Theories In (Correct)
Computation in Space and Space in Computation - Giavitto, Michel, Cohen, Spicher (2004) (Correct)
Deriving Bisimulation Congruences using 2-categories - Sassone, Sobocinski (2003) (Correct)
Open Ended Systems, Dynamic Bisimulation and Tile Logic - Bruni, Montanari, Sassone (Correct)
Observational Congruences for Dynamically Reconfigurable .. - Bruni, Montanari.. (Correct)
Unknown - Apport De Recherche (Correct)
Multiset Rewriting and the Complexity of Bounded.. - Durgin, Lincoln.. (2003) (Correct)
Transition systems, link graphs and Petri nets - Leifer, Milner (2004) (2 citations) (Correct)
Appears in New Generation Computing, 15(4), 1997 - Static Analysis Of (1996) (Correct)
A Calculus for Cryptographic Protocols - The Spi Calculus - Abadi, Gordon (1996) (353 citations) (Correct)
First Order and Higher Order Tile Models for Open and Mobile.. - Bruni, Montanari (2000) (2 citations) (Correct)
Computation in Space and Space in Computation - Giavitto, Michel, Cohen, Spicher (2004) (Correct)
Nested commits for mobile calculi: extending Join - Bruni, Melgratti, Montanari (2004) (Correct)
Orchestrating Transactions in Join Calculus - Roberto Bruni Cosimo (2002) (4 citations) (Correct)
Catalytic P Systems, Semilinear Sets, - And Vector Addition (Correct)
A Classification of Formal Specifications for.. - Bradbury, Cordy.. (2004) (Correct)
Observational Congruences for Dynamically Reconfigurable .. - Bruni, Montanari.. (2003) (Correct)
Synthesising Labelled Transitions and Operational Congruences in.. - Leifer (2002) (7 citations) (Correct)
From Trees to Graphs: Defining the Semantics of Diagram.. - Engels, Heckel (2000) (Correct)
Centralized and Distributed Orchestration of.. - Bruni, Laneve, Montanari (Correct)
Information-Intensive Proof Technology - Constable (2003) (Correct)
Bigraphs and Mobile Processes - Jensen, Milner (2003) (7 citations) (Correct)
A Topological Framework for the Specification and the.. - Spicher, Michel.. (2004) (Correct)
Characterizations of Catalytic Membrane - Computing Systems Extended (Correct)
A Formal Foundation for Concurrent Object Oriented Programming - Grosu (1995) (2 citations) (Correct)
Bigraphs and Mobile Processes - Jensen, Milner (2004) (7 citations) (Correct)
Towards Abstractions for Distributed Systems - Berger (2004) (4 citations) (Correct)
LMNtal: a language model with links and membranes - Kazunori Ueda Norio (Correct)
A Denotational Model for Mobile Point-to-Point.. - Grosu, Stølen.. (1997) (5 citations) (Correct)
Towards Abstractions for Distributed Systems - Berger (2000) (4 citations) (Correct)
High-Level Petri Nets as Type Theories in the Join Calculus - Buscemi, Sassone (2001) (5 citations) (Correct)
Multiset Rewriting and the Complexity of Bounded.. - Durgin, Lincoln.. (2002) (Correct)
A Generic Membrane Model - Boudol (2004) (3 citations) Self-citation (Boudol) (Correct)
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC