For the most recent entries see the
Petri Nets Newsletter.
Degano, P.
-
Degano, P.;
Meseguer, J.;
Montanari, Ugo:
Axiomatizing the Algebra of Net Computations and Processes.
1996.
-
Degano, Pierpaolo;
Priami, Corrado:
Proved Trees.
1992.
-
Degano, Pierpaolo;
Meseguer, José;
Montanari, Ugo:
Axiomatizing the Algebra of Net Computations and Processes.
1991.
-
Darondeau, Philippe;
Degano, Pierpaolo:
Causal Trees: Interleaving + Causality.
1990.
-
Darondeau, Philippe;
Degano, Pierpaolo:
Event Structures, Causal Trees, and Refinement.
1990.
-
Degano, P.;
de Nicola, R.;
Montanari, U.:
Partial Orderings Descriptions and Observations of Nondeterministic Concurrent Processes.
1989.
-
Degano, P.;
Meseguer, J.;
Montanari, U.:
Axiomatizing Net Computations and Processes.
1989.
-
Degano, P.;
Gorrieri, R.;
Marchetti, S.:
An Exercise in Concurrency: a CSP Process as a Condition/Event System.
1988.
-
Degano, P.;
Montanari, U.:
Concurrent Histories: A Basis for Observing Distributed Systems.
1987.
-
Degano, P.;
de Nicola, R.;
Montanari, U.:
A Distributed Operational Semantics for CCS Based on Condition/Event Systems.
1987.
-
Degano, P.;
de Nicola, R.;
Montanari, U.:
CCS is an (Augmented) Contact Free C/E-System.
1986.
-
Degano, P.;
Montanari, U.:
Concurrent Histories. A Basis for Observing Distributed Systems.
1985.
-
Degano, P.;
de Nicola, R.;
Montanari, U.:
Partial Ordering Derivations for CCS.
1985.
-
Degano, P.;
Montanari, U.:
Specification Languages for Distributed Systems.
1985.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography