C.A. Petri (1977), Non-Sequential Processes. Interner Bericht ISF--77--5, Gesellschaft f ur Mathematik und Datenverarbeitung, Bonn. of Aarhus. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Trace Semantics for Actor Systems - Vasconcelos, Tokoro (4 citations) (Correct)
Sequentiality vs. Concurrency in Games and Logic - Abramsky (2001) (Correct)
Categorical Models for Concurrency: Independence, Fairness and.. - Hildebrandt (2000) (Correct)
On the Search for Tractable Ways of Reasoning about Programs - Jones (2001) (8 citations) (Correct)
Sequentiality vs. Concurrency in Games and Logic - Abramsky (2001) (Correct)
Concatenable weighted pomsets and their applications to.. - Winkowski (1996) (Correct)
Non sequential semantics for contextual P/T nets - Busi, Pinna (1996) (9 citations) (Correct)
Trace Semantics for Concurrent Objects - Vasconcelos (1992) (Correct)
An Axiomatization of the Category of Petri Net Computations - Sassone (1997) (8 citations) (Correct)
Models for Concurrency - Winskel, Nielsen (1994) (123 citations) (Correct)
On the Semantics of Place/Transition Petri Nets - Meseguer, Montanari, Sassone (1996) (3 citations) (Correct)
Representation Theorems for Petri Nets - Meseguer, Montanari, Sassone (3 citations) (Correct)
A Categorical Semantics of Quantum Protocols - Samson Abramsky And (2004) (Correct)
The Early Search for Tractable Ways of Reasoning About Programs - Jones (2003) (Correct)
Probabilistic Timing Verification and Timing Analysis for.. - Escalante (1998) (1 citation) (Correct)
Formal Methods - Selected Historical References - Jones, McCauley (1992) (1 citation) (Correct)
Prefix Function View of States and Events - Antoni Mazurkiewicz (Correct)
The Algebraic Structure of Petri Nets - Sassone (2000) Self-citation (Petri) (Correct)
The Algebraic Structure of Petri Nets - Sassone (2000) Self-citation (Petri) (Correct)
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