Roberto Bruni and Ugo Montanari. Zero-safe nets: Comparing the collective and individual token approaches. Information and Computation, 156(1-2):46-89, 2000. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents
A Concurrent Logical Framework II: Examples and.. - Cervesato, Pfenning.. (2003) (2 citations) (Correct)
A Concurrent Logical Framework II: Examples and.. - Cervesato, Pfenning.. (2002) (2 citations) (Correct)
Semantics and Verification of UML Activity Diagrams for Workflow.. - Eshuis (2002) (3 citations) (Correct)
Symmetric Monoidal and Cartesian Double Categories as a .. - Bruni, Meseguer.. (2001) (2 citations) (Correct)
Appligraph: Applications of Graph Transformation - Third.. - Kreowski, (eds.) (2000) (Correct)
A Concurrent Logical Framework: The Propositional.. - Watkins, Cervesato.. (2003) (2 citations) (Correct)
A Concurrent Logical Framework II: - Examples And Applications (Correct)
A Concurrent Logical Framework: The Propositional.. - Watkins, Cervesato.. (2003) (2 citations) (Correct)
The Algebraic Structure of Petri Nets - Sassone (2000) (Correct)
Comparing Petri Net and Activity Diagram Variants for.. - Eshuis, Wieringa (2002) (4 citations) (Correct)
The Algebraic Structure of Petri Nets - Sassone (2000) (Correct)
A Concurrent Logical Framework: The Propositional.. - Watkins, Cervesato.. (2003) (2 citations) (Correct)
Appligraph: Applications of Graph Transformation - Final Report - Kreowski, (eds.) (2002) (Correct)
Open Ended Systems, Dynamic Bisimulation and Tile Logic - Bruni, Montanari, Sassone Self-citation (Bruni Montanari) (Correct)
Zero-Safe Nets: Modeling Transactions via Transition.. - Bruni, Montanari (2000) (2 citations) Self-citation (Bruni Montanari) (Correct)
Extending the Zero-Safe approach to Coloured.. - Bruni, Melgratti.. Self-citation (Bruni Montanari) (Correct)
Zero-safe net models for transactions in Linda - Bruni, Montanari (2001) (2 citations) Self-citation (Bruni Montanari) (Correct)
Nested commits for mobile calculi: extending Join - Bruni, Melgratti, Montanari (2004) Self-citation (Bruni Montanari) (Correct)
Flat Committed Join in Join - Bruni, Melgratti, Montanari (2003) Self-citation (Bruni Montanari) (Correct)
Orchestrating Transactions in Join Calculus - Roberto Bruni Cosimo (2002) (4 citations) Self-citation (Bruni Montanari) (Correct)
Centralized and Distributed Orchestration of.. - Bruni, Laneve, Montanari Self-citation (Montanari) (Correct)
A Prototype Implementation Of Distributed Agreements - Baragatti, Bruni.. (2004) Self-citation (Bruni Montanari) (Correct)
Orchestrating Transactions in Join Calculus - Roberto Bruni Cosimo (2002) (4 citations) Self-citation (Bruni Montanari) (Correct)
An Interactive Semantics of Logic Programming - Bruni, Montanari (2000) (3 citations) Self-citation (Bruni Montanari) (Correct)
Dynamic Bisimilarity for Reconfigurable and Mobile.. - Bruni, Montanari.. Self-citation (Bruni Montanari) (Correct)
First 50 documents
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