For the most recent entries see the
Petri Nets Newsletter.
Keyword: concurrent program
-
Best, Eike:
The Petri Box Calculus for Concurrent Programs.
1991.
-
Uchihira, N.;
Honiden, S.:
Verification and Synthesis of Concurrent Programs Using Petri Nets and Temporal Logic.
1990.
-
Uchihira, Naoshi;
Kawata, Hideji;
Matsumoto, Kazunori;
Ito, Mikako;
Honiden, Shinichi:
Synthesis of Concurrent Programs: Automated Reasoning Complements Software Reuse.
1990.
-
Uchihira, N.;
Honiden, S.:
Verification and Synthesis of Concurrent Programs Using Petri Nets and Temporal Logic.
1990.
-
Ghezzi, Carlo;
Mandrioli, Dino;
Morasca, Sandro;
Pezzè, Mauro:
Symbolic Execution of Concurrent Programs Using Petri Nets.
1989.
-
Ghezzi, Carlo;
Mandrioli, Dino;
Morasca, Sandro;
Pezzè, Mauro:
Symbolic Execution of Concurrent Programs Using Petri Nets.
1989.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography