For the most recent entries see the
Petri Nets Newsletter.
Boudol, G.
-
Boudol, G.;
Castellani, I.:
Flow models of distributed computations - 3. Equivalent semantics for CCS.
1994.
-
Boudol, Gérard:
Flow Event Structures and Flow Nets.
1990.
-
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.
-
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.
-
Boudol, G.;
Roucairol, G.;
de Simone, R.:
Petri Nets and Algebraic Calculi of Processes.
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