For the most recent entries see the
Petri Nets Newsletter.
Castellani, I.
-
Boudol, G.;
Castellani, I.:
Flow models of distributed computations - 3. Equivalent semantics for CCS.
1994.
-
Boudol, Gérard;
Castellani, Ilaria:
Three Equivalent Semantics for CCS.
1990.
-
Boudol, Gérard;
Castellani, Ilaria:
Permutation of Transitions: An Event Structure Semantics for CCS and SCCS.
1989.
-
Castellani, Ilaria;
Hennessy, Matthew:
Distributed Bisimulations.
1989.
-
Boudol, G.;
Castellani, I.:
A Non-Interleaving Semantics for CCS Based on Proved Transitions.
1988.
-
Boudol, G.;
Castellani, I.:
Concurrency and Atomicity.
1988.
-
Boudol, G.;
Castellani, I.:
Concurrency and Atomicity.
1987.
-
Boudol, G.;
Castellani, I.:
On the Semantics of Concurrency: Partial Orders and Transition Systems.
1986.
-
Castellani, I.;
Franceschi, P.;
Montanari, U.:
Labeled Event Structures: A Model for Observable Concurrency.
1983.
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