Dominik Gomm

According to our database, Dominik Gomm authored at least 6 papers between 1986 and 1996.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

1996

Modellierung und Analyse verzögerungs-unabhängiger Schaltungen mit Petrinetzen.

Dominik Gomm

PhD thesis, 1996

1993

Causality Based Proof of a Distributed Shared Memory System.

Dominik Gomm, Ekkart Kindler

Proceedings of the Parallel Computer Architectures: Theory, 1993

Compositional Liveness Properties of EN-Systems.

Dominik Gomm, Ekkart Kindler, Barbara Paech, Rolf Walter

Proceedings of the Application and Theory of Petri Nets 1993, 1993

1991

On the Design of Parallel Programs for Machines with Distributed Memory.

Dominik Gomm, Michael Heckner, Klaus-Jörn Lange, Gerhard Riedle

Proceedings of the Distributed Memory Computing, 2nd European Conference, 1991

1990

The Distributed Termination Problem: Formal Solution and Correctness Based on Petri Nets.

Dominik Gomm, Rolf Walter

Proceedings of the Aspects and Prospects of Theoretical Computer Science, 1990

1986

Bibliography of Petri nets.

Stefan Drees, Dominik Gomm, Helmut Plünnecke, Wolfgang Reisig, Rolf Walter

Proceedings of the Advances in Petri Nets 1987, 1986