Thomas Gehrke

According to our database, Thomas Gehrke authored at least 11 papers between 1996 and 2000.

Collaborative distances:

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

2000

Dynamische Modelle für reaktive Systeme mit Daten.

Thomas Gehrke

PhD thesis, 2000

Interaktionsdiagramme mit Datenspezifikation zur Darstellung verteilter Systeme.

Thomas Gehrke

Softwaretechnik-Trends, 2000

1999

Timed Sequence Diagrams and Tool-Based Analysis - A Case Study.

Thomas Firley, Michaela Huhn, Karsten Diethers, Thomas Gehrke, Ursula Goltz

Proceedings of the «UML»'99: The Unified Modeling Language, 1999

Generative Sequence Diagrams with Textual Annotations.

Thomas Gehrke, Thomas Firley

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

1998

An Algebraic Semantics for Message Sequence Chart Documents.

Thomas Gehrke, Michaela Huhn, Arend Rensink, Heike Wehrheim

Proceedings of the Formal Description Techniques and Protocol Specification, 1998

A Process Algebra Semantics for MSC Including Conditions.

Thomas Gehrke, Michaela Huhn, Peter Niebert, Arend Rensink, Heike Wehrheim

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

Spezifikation eines RPC-Speichers mit der Sprache ProFun.

Thomas Firley, Thomas Gehrke, Arend Rensink

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

An Algebraic Semantics for an Abstract Language with Intra-Object-Concurrency.

Thomas Gehrke

Proceedings of the Euro-Par '98 Parallel Processing, 1998

1997

Process creation and full sequential composition in a name-passing calculus.

Thomas Gehrke, Arend Rensink

Proceedings of the International Workshop on Expressiveness in Concurrency, 1997

Zum Einsatz einer graphischen Entwurfsmethode zur Erstellung einer prozeßorientierten Spezifikation.

Thomas Gehrke

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

1996

ProFun - A Language for Executable Specifications.

Thomas Gehrke, Michaela Huhn

Proceedings of the Programming Languages: Implementations, 1996