For the most recent entries see the
Petri Nets Newsletter.
Keyword: denotational semantics
-
Tarasyuk, Igor V.:
Stochastic Petri box calculus with discrete time.
2007.
-
Tarasyuk, Igor V.:
Iteration in discrete time stochastic Petri box calculus.
2006.
-
Koutny, M.;
Best, E.:
Operational and denotational semantics for the box algebra.
1999.
-
Tarasyuk, Igor V.:
Algebra AFLP2: a calculus of labelled nondeterministic processes.
1996.
-
Stansifer, R.;
Marinescu, D.:
Petri Net Models of Concurrent Ada Programs.
1991.
-
Gorrieri, Roberto;
Montanari, Ugo:
Distributed Implementation of CCS.
1991.
-
Krämer, Bernd;
Luqi,;
Berzins, Valdis:
High-Level-Net Semantics of a Real-Time Prototyping Language.
1991.
-
Stansifer, R.;
Marinescu, D.:
Petri Net Models of Concurrent Ada Programs.
1990.
-
Broy, Manfred;
Streicher, Thomas:
Modular Functional Modelling of Petri Nets with Individual Tokens.
1990.
-
Cherkasova, Ludmila:
A Fully Abstract Model for Concurrent Nondeterministic Processes Based on Posets with Non-Actions.
1990.
-
Cherkasova, Ludmila:
Algebra AFP2 for Concurrent Nondeterministic Processes: Fully Abstract Model and Complete Axiomatization.
1990.
-
Maggiolo-Schettini, Andrea;
Winkowski, Józef:
A Generalization of Predicate/Transition Nets.
1990.
-
Gondzio, M.:
Verification Oriented Approach to Concurrent Microprogramming with the Language C-MIDDLE.
1989.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography