For the most recent entries see the
Petri Nets Newsletter.
Walter, R.
-
Walter, R.:
The asynchronous stack revisited: rounds set the twilight reeling.
1997.
-
Walter, Rolf;
Kindler, Ekkart:
Mutex needs fairness.
1997.
-
Weber, M.;
Walter, R.;
Völzer, H.;
Vesper, T.;
Reisig, W.;
Peuker, S.;
Kindler, E.;
Freiheit, J.;
Desel, J.:
DAWN. Petrinetzmodelle zur Verifikation Verteilter Algorithmen.
1997.
-
Walter, Rolf;
Völzer, Hagen;
Vesper, Tobias;
Reisig, Wolfgang;
Kindler, Ekkart;
Freiheit, Jörn;
Desel, Jörg:
Memorandum: Petrinetzmodelle zur Verifikation Verteilter Algorithmen.
1996.
-
Kindler, Ekkart;
Walter, Rolf:
Arc-Typed Petri Nets.
1996.
-
Kindler, Ekkart;
Reisig, Wolfgang;
Völzer, Hagen;
Walter, Rolf:
Petri Net Based Verification of Distributed Algorithms: An Example.
1996.
-
Kindler, Ekkart;
Listl, Andreas;
Walter, Rolf:
A Specification Method for Transaction Models with Data Replication.
1996.
-
Desel, Jörg;
Kindler, Ekkart;
Vesper, Tobias;
Walter, Rolf:
A simplified proof for a self-stabilizing protocol: A Game of Cards.
1995.
-
Kindler, Ekkart;
Walter, Rolf:
Message passing mutex.
1995.
-
Desel, Jörg;
Kindler, Ekkart;
Walter, Rolf:
The Game of Tokens: A Collection of Proofs.
1995.
-
Walter, Rolf:
Races in Rounds.
1995.
-
Desel, Jörg;
Kindler, Ekkart;
Walter, Rolf:
A game of tokens (proof contest).
1994.
-
Kindler, Ekkart;
Listl, Andreas;
Walter, Rolf:
Kausalitätsbasierte Beweismethoden für parallele Datenbanksysteme: Eine Fallstudie.
1994.
-
Gomm, D.;
Kindler, E.;
Paech, B.;
Walter, R.:
Compositional Liveness Properties of EN-Systems.
1993.
-
Kindler, Ekkart;
Walter, Rolf:
Rearranging Problems.
1993.
-
Desel, Jörg;
Gomm, Dominik;
Kindler, Ekkart;
Walter, Rolf;
Paech, Barbara:
Bausteine eines kompositionalen Beweiskalküls für netzmodellierte Systeme.
1992.
-
Gomm, Dominik;
Walter, Rolf:
The Distributed Termination Problem: Formal Solution and Correctness Based on Petri Nets.
1990.
-
Desel, Jörg;
Reisig, Wolfgang;
Walter, Rolf:
The Alternating Bit Protocol: Fairness Versus Priority.
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