For the most recent entries see the
Petri Nets Newsletter.
Keyword: CCS
-
Boudol, G.;
Castellani, I.:
Flow models of distributed computations - 3. Equivalent semantics for CCS.
1994.
-
Fanchon, J.:
Fifo-Net Models for Processes with Asynchronous Communication.
1991.
-
Gorrieri, Roberto;
Montanari, Ugo:
Distributed Implementation of CCS.
1991.
-
Olderog, Ernst-Rüdiger:
Correctness of Concurrent Processes.
1991.
-
Boudol, Gérard;
Castellani, Ilaria:
Three Equivalent Semantics for CCS.
1990.
-
Corradini, A.;
Ferrari, G.L.;
Montanari, U.:
Transition Systems with Algebraic Structure as Models of Computations.
1990.
-
Gorrieri, Roberto;
Montanari, Ugo:
SCONE: A Simple Calculus of Nets.
1990.
-
Lloret, J.:
Modeling and Verification of Distributed Systems with Labeled Predicate Transition Nets.
1990.
-
Olderog, Ernst-Rüdiger:
From Trace Specifications to Process Terms.
1990.
-
Goltz, Ursula:
CCS and Petri Nets.
1990.
-
Boudol, Gérard;
Castellani, Ilaria:
Permutation of Transitions: An Event Structure Semantics for CCS and SCCS.
1989.
-
Montanari, Ugo;
Yankelevich, Daniel N.:
An Algebraic View of Interleaving and Distributed Operational Semantics.
1989.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography