For the most recent entries see the
Petri Nets Newsletter.
Gorrieri, R.
-
Busi, Nadia;
Gorrieri, Roberto:
Positive Non-interference in Elementary and Trace Nets.
2004.
-
Busi, Nadia;
Gorrieri, Roberto:
A Survey on Non-interference with Petri Nets.
2004.
-
Bernardo, M.;
Donatiello, L.;
Gorrieri, R.:
A formal approach to the integration of performance aspects in the modeling and analysis of concurrent systems.
1998.
-
Bernardo, Marco;
Donatiello, Lorenzo;
Gorrieri, Roberto:
Giving a Net Semantics to Markovian Process Algebra.
1995.
-
Gorrieri, R.;
Montanari, Ugo:
On the Implementation of Concurrent Calculi into Net Calculi: Two Case Studies.
1995.
-
Gorrieri, R.;
Roccetti, M.;
Stancampiano, E.:
A theory of processes with durational actions.
1995.
-
Gorrieri, Roberto;
Montanari, Ugo:
Distributed Implementation of CCS.
1991.
-
Asperti, Andrea;
Ferrari, Gian Luigi;
Gorrieri, Roberto:
Implicative Formulae in the `Proofs as Computations' Analogy.
1990.
-
Gorrieri, Roberto;
Montanari, Ugo:
SCONE: A Simple Calculus of Nets.
1990.
-
Brogi, Antonio;
Gorrieri, Roberto:
A Distributed, Net Oriented Semantics for Delta Prolog.
1989.
-
Degano, P.;
Gorrieri, R.;
Marchetti, S.:
An Exercise in Concurrency: a CSP Process as a Condition/Event System.
1988.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
The link to the author's homepage is provided by the
database of Petri net researchers.
Back to the Petri Nets Bibliography