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 |