Tobias Vesper

According to our database, Tobias Vesper authored at least 5 papers between 1995 and 2000.

Collaborative distances:

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

2000

Petrinetze zum Entwurf selbststabilisierender Algorithmen.

Tobias Vesper

PhD thesis, 2000

1999

Automatisches verteiltes Rücksetzen.

Tobias Vesper, Michael Weber

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1999

1998

ESTL: A Temporal Logic for Events and States.

Ekkart Kindler, Tobias Vesper

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

1996

Distributed Algorithms for Networks of Agents.

Wolfgang Reisig, Ekkart Kindler, Tobias Vesper, Hagen Völzer, Rolf Walter

Proceedings of the Lectures on Petri Nets II: Applications, 1996

1995

A Simplified Proof for a Self-Stabilizing Protocol: A Game of Cards.

Jörg Desel, Ekkart Kindler, Tobias Vesper, Rolf Walter

Inf. Process. Lett., 1995