| 1993 |
|---|
| 5 | | Dominik Gomm,
Ekkart Kindler,
Barbara Paech,
Rolf Walter:
Compositional Liveness Properties of EN-Systems.
Application and Theory of Petri Nets 1993: 262-281 |
| 4 | | Dominik Gomm,
Ekkart Kindler:
Causality Based Proof of a Distributed Shared Memory System.
Parallel Computer Architectures 1993: 133-149 |
| 1991 |
|---|
| 3 | | Dominik Gomm,
Michael Heckner,
Klaus-Jörn Lange,
Gerhard Riedle:
On the Design of Parallel Programs for Machines with Distributed Memory.
EDMCC 1991: 381-391 |
| 1990 |
|---|
| 2 | | Dominik Gomm,
Rolf Walter:
The Distributed Termination Problem: Formal Solution and Correctness Based on Petri Nets.
IMYCS 1990: 159-168 |
| 1986 |
|---|
| 1 | | Stefan Drees,
Dominik Gomm,
Helmut Plünnecke,
Wolfgang Reisig,
Rolf Walter:
Bibliography of Petri nets.
European Workshop on Applications and Theory of Petri Nets 1986: 309-451 |
