For the most recent entries see the
Petri Nets Newsletter.
Keyword: concurrent system
-
Alvarez, C.;
Balcazar, J.L.;
Gabarro, J.:
Parallel Complexity in the Design and Analysis of Concurrent Systems.
1991.
-
Best, Eike:
Structure and Behaviour of Concurrent Systems: Selected Results of the Esprit Basic Research Action No. 3148 DEMON (Design Methods Based on Nets).
1990.
-
Schepers, Jörg:
GRAPH: Eine auf Petri-Netzen basierende Entwicklungsumgebung für verteilte Systeme.
1990.
-
Best, Eike:
Structure and Behaviour of Concurrent Systems: Selected Results of the Esprit Basic Research Action No. 3148 DEMON (Design Methods Based on Nets).
1990.
-
He, Xudong;
Lee, John A.N.:
Integrating Predicate Transition Nets with First Order Temporal Logic in the Specification and Verification of Concurrent Systems.
1990.
-
Pomello, L.;
Simone, C.:
Concurrent Systems as Logic State Transformation Algebras: the Case of Elementary Net Systems.
1989.
-
van Glabbeek, Rob;
Goltz, Ursula:
Equivalence Notions for Concurrent Systems and Refinement of Actions.
1989.
-
Velilla, S.;
Silva, M.:
Spy: A Mechanism for Safe Implementation of Highly Concurrent Systems.
1988.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography