For the most recent entries see the
Petri Nets Newsletter.
Keyword: CSP
-
Mazzeo, A.;
Mazzocca, N.;
Russo, S.;
Savy, C.;
Vittorini, V.:
Formal specification of concurrent systems: a structured approach.
1998.
-
Mazzeo, A.;
Mazzocca, N.;
Russo, S.;
Vittorini, V.:
A systematic approach to the Petri Net based specification of concurrent systems.
1997.
-
Mazzocca, N.;
Russo, S.;
Vittorini, V.:
Integrating trace logic and Petri net specifications.
1997.
-
Kavi, K.M.;
Sheldon, F.T.;
Shirazi, B.:
Reliability analysis of CSP specifications using Petri nets and Markov processes.
1995.
-
Olderog, Ernst-Rüdiger:
Correctness of Concurrent Processes.
1991.
-
Valmari, Antti:
Compositional State Space Generation.
1990.
-
Stotts, P.D.;
Furuta, R.:
Browsing Parallel Process Networks.
1990.
-
Morse, J.A.:
Performance Estimation of Distributed Computer Systems.
1988.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography