Berry, G. and G. Boudol: 1992, `The chemical abstract machine'. Theoretical Computer Science 96(1), 217--248. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
A Generic Membrane Model - Boudol (2004) (3 citations) Self-citation (Boudol) (Correct)
No context found.
G. Berry, G. Boudol, The chemical abstract machine, Theoretical Comput. Sci. 96 (####) 217-248.
Representing the MSR Cryptoprotocol Specification Language.. - Cervesato, Stehr (2005) (Correct)
No context found.
Berry, G. and G. Boudol: 1992, `The chemical abstract machine'. Theoretical Computer Science 96(1), 217--248.
Composition Parallle - Et Synchronisation De (Correct)
No context found.
Grard Berry and Grard Boudol. The Chemical Abstract Machine. In POPL, pages 8194. ACM, 1990.
Discovering the Behaviour of a - Network From Local (Correct)
No context found.
Berry, G., Boudol, G.: The Chemical Abstract Machine, POPL 90 (1990), pp. 81-94.
High-Level Petri Nets as - Type Theories In (Correct)
No context found.
G. Berry and G. Boudol (1992), The Chemical Abstract Machine, Theoretical Computer Science, 96:217-248.
Computation in Space and Space in Computation - Giavitto, Michel, Cohen, Spicher (2004) (Correct)
No context found.
G. Berry and G. Boudol. The chemical abstract machine. In Conf. Record 17th ACM Symp. on Principles of Programmming Languages, POPL'90, San Francisco, CA, USA, 17--19 Jan. 1990.
Deriving Bisimulation Congruences using 2-categories - Sassone, Sobocinski (2003) (Correct)
No context found.
Berry, G. and Boudol, G. 1992. The chemical abstract machine. Theoretical Computer Science 96, 217--248.
Open Ended Systems, Dynamic Bisimulation and Tile Logic - Bruni, Montanari, Sassone (Correct)
No context found.
G. Berry and G. Boudol. The chemical abstract machine. Theoret. Comput. Sci., 96(1):217-248, 1992.
Observational Congruences for Dynamically Reconfigurable .. - Bruni, Montanari.. (Correct)
No context found.
G. Berry, G. Boudol, The chemical abstract machine, Theoret. Comput. Sci. 96 (1) (1992) 217--248.
Unknown - Apport De Recherche (Correct)
No context found.
G. Berry and G. Boudol. The Chemical Abstract Machine. TCS, 96:217--248, 1992.
Multiset Rewriting and the Complexity of Bounded.. - Durgin, Lincoln.. (2003) (Correct)
No context found.
G. Berry and G. Boudol. The Chemical Abstract Machine. In Seventeenth Annual ACM Symposium on Principles of Programming Languages, pages 81{ 94, San Francisco, California, January 17-19, 1990. ACM Press, New York.
Transition systems, link graphs and Petri nets - Leifer, Milner (2004) (2 citations) (Correct)
No context found.
Berry, G. and Boudol, G. (1992), The chemical abstract machine. Journal of Theoretical Computer Science, Vol 96, pp217--248.
Appears in New Generation Computing, 15(4), 1997 - Static Analysis Of (1996) (Correct)
No context found.
G. Berry and G. Boudol. The chemical abstract machine. In Proc. of the 17th ACM Symposium on Principles of Programming Languages, San Francisco, Ca, U.S.A., 1990.
A Calculus for Cryptographic Protocols - The Spi Calculus - Abadi, Gordon (1996) (353 citations) (Correct)
No context found.
G. Berry and G. Boudol. The chemical abstract machine. In Conference Record of the Seventeenth ACM Symposium on Principles of Programming Languages, pages 81--94, 1990.
First Order and Higher Order Tile Models for Open and Mobile.. - Bruni, Montanari (2000) (2 citations) (Correct)
No context found.
G. Berry and G. Boudol. The chemical abstract machine. Theoret. Comput. Sci., 96(1):217--248, 1992.
Computation in Space and Space in Computation - Giavitto, Michel, Cohen, Spicher (2004) (Correct)
No context found.
G. Berry and G. Boudol. The chemical abstract machine. In Conf. Record 17th ACM Symp. on Principles of Programmming Languages, POPL'90, San Francisco, CA, USA, 17--19 Jan. 1990.
Nested commits for mobile calculi: extending Join - Bruni, Melgratti, Montanari (2004) (Correct)
No context found.
G. Berry and G. Boudol. The chemical abstract machine. Theoret. Comput. Sci., 96(1):217--248, 1992.
Orchestrating Transactions in Join Calculus - Roberto Bruni Cosimo (2002) (4 citations) (Correct)
No context found.
G. Berry and G. Boudol. The chemical abstract machine. Theoret. Comput. Sci., 96(1):217-- 248, 1992.
Catalytic P Systems, Semilinear Sets, - And Vector Addition (Correct)
No context found.
G. Berry and G. Boudol. The chemical abstract machine. In POPL'90, pages 81--94. ACM Press, 1990.
A Classification of Formal Specifications for.. - Bradbury, Cordy.. (2004) (Correct)
No context found.
G. Berry and G. Boudol. The chemical abstract machine. In Selected papers of the Work. on Concurrency and Compositionality, pages 217--248. Elsevier Science Publishers Ltd., 1992.
Observational Congruences for Dynamically Reconfigurable .. - Bruni, Montanari.. (2003) (Correct)
No context found.
G. Berry, G. Boudol, The chemical abstract machine, Theoret. Comput. Sci. 96 (1) (1992) 217--248.
Synthesising Labelled Transitions and Operational Congruences in.. - Leifer (2002) (7 citations) (Correct)
No context found.
G. Berry and G. Boudol. The chemical abstract machine. In Proc. 17th Annual Symposium of Principles of Programming Languages, pages 81--94. ACM Press, 1990.
From Trees to Graphs: Defining the Semantics of Diagram.. - Engels, Heckel (2000) (Correct)
No context found.
BERRY, G., AND BOUDOL, G. The chemical abstract machine. Theoret. Comput. Sci. 96, 1 (1992), 217--248.
Centralized and Distributed Orchestration of.. - Bruni, Laneve, Montanari (Correct)
No context found.
G. Berry and G. Boudol. The chemical abstract machine. Theoret. Comput. Sci., 96(1):217-- 248, 1992.
Information-Intensive Proof Technology - Constable (2003) (Correct)
No context found.
G. Berry and G. Boudol. The chemical abstract machine. In Conference Record of the 17th Annual ACM Symposium on Principles of Programming Languages, pages 81--94, 1990.
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