For the most recent entries see the
Petri Nets Newsletter.
Gomm, D.
-
Gomm, Dominik;
Kindler, Ekkart:
Causality Based Proof of a Distributed Shared Memory System.
1993.
-
Gomm, D.;
Kindler, E.;
Paech, B.;
Walter, R.:
Compositional Liveness Properties of EN-Systems.
1993.
-
Desel, Jörg;
Gomm, Dominik;
Kindler, Ekkart;
Walter, Rolf;
Paech, Barbara:
Bausteine eines kompositionalen Beweiskalküls für netzmodellierte Systeme.
1992.
-
Gomm, Dominik;
Kindler, Ekkart:
A Weakly Coherent Virtually Shared Memory Scheme: Formal Specification and Analysis.
1991.
-
Gomm, Dominik;
Kindler, Ekkart:
Causality Based Specification and Correctness Proof of a Virtually Shared Memory Scheme.
1991.
-
Gomm, Dominik;
Walter, Rolf:
The Distributed Termination Problem: Formal Solution and Correctness Based on Petri Nets.
1990.
-
Gomm, D.;
Walter, R.:
Das Problem der Verteilten Terminierung: Eine Lösung mit Petri Netzen.
1989.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography