Thomas Gehrke

发表

A Mobile Calculus with Data

Arend Rensink, Thomas Gehrke, 1999 .

Vom Fachbereich fur Mathematik und Informatik der Technischen Universitat Braunschweig genehmigte Dissertation zur Erlangung des Grades eines Doktors der Naturwissenschaften (Dr.rer.nat.)

Thomas Gehrke, 2000 .

A Process Algebra Semantics for MSC Including Conditions

Arend Rensink, Peter Niebert, Heike Wehrheim, 1998, FBT.

Spezifikation eines RPC-Speichers mit der Sprache ProFun

Arend Rensink, Thomas Gehrke, Thomas Firley, 1998, FBT.

Generative Sequence Diagrams with Textual Annotations

Thomas Gehrke, Thomas Firley, T. Gehrke, 1999, Formale Beschreibungstechniken.

Dynamische Modelle für reaktive Systeme mit Daten

Thomas Gehrke, 2000 .

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

Thomas Gehrke, 1998, Euro-Par.

ProFun - A Language for Executable Specifications

Michaela Huhn, Thomas Gehrke, T. Gehrke, 1996, PLILP.

An Algebraic Semantics for Message Sequence Chart Documents

Arend Rensink, Heike Wehrheim, Michaela Huhn, 1998, FORTE.

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

Thomas Gehrke, 1997, FBT.

Interaktionsdiagramme mit Datenspezifikation zur Darstellung verteilter Systeme

Thomas Gehrke, T. Gehrke, 2000, Softwaretechnik-Trends.

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

Ursula Goltz, Michaela Huhn, Thomas Gehrke, 1999, UML.

A Process Algebra Semantics for Message Sequence Chart Documents

Arend Rensink, Heike Wehrheim, Michaela Huhn, 1998 .

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

Arend Rensink, Thomas Gehrke, A. Rensink, 1999, EXPRESS.