For the most recent entries see the
Petri Nets Newsletter.
de Nicola, R.
-
de Nicola, Rocco;
Pugliese, Rosario:
An observational Semantics for Linda.
1995.
-
Degano, P.;
de Nicola, R.;
Montanari, U.:
Partial Orderings Descriptions and Observations of Nondeterministic Concurrent Processes.
1989.
-
Aceto, L.;
de Nicola, R.;
Fantechi, A.:
Testing Equivalences for Event Structures.
1987.
-
de Nicola, R.:
Extensional Equivalences for Transition Systems.
1987.
-
Degano, P.;
de Nicola, R.;
Montanari, U.:
A Distributed Operational Semantics for CCS Based on Condition/Event Systems.
1987.
-
de Nicola, R.:
Transition Systems and Testing Preorders: An Alternative to Petri Nets for Systems Specifications.
1986.
-
Degano, P.;
de Nicola, R.;
Montanari, U.:
CCS is an (Augmented) Contact Free C/E-System.
1986.
-
de Nicola, R.:
Testing Equivalences and Fully Abstract Models for Communicating Processes.
1985.
-
Degano, P.;
de Nicola, R.;
Montanari, U.:
Partial Ordering Derivations for CCS.
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