 | 2000 |
|---|
| 10 |       | Thomas Gehrke:
Interaktionsdiagramme mit Datenspezifikation zur Darstellung verteilter Systeme.
Softwaretechnik-Trends 20(3): (2000) |
| 1999 |
|---|
| 9 | | Thomas Gehrke,
Thomas Firley:
Generative Sequence Diagrams with Textual Annotations.
FBT 1999: 65-72 |
| 8 | | Thomas Firley,
Michaela Huhn,
Karsten Diethers,
Thomas Gehrke,
Ursula Goltz:
Timed Sequence Diagrams and Tool-Based Analysis - A Case Study.
UML 1999: 645-660 |
| 1998 |
|---|
| 7 |  | Thomas Gehrke:
An Algebraic Semantics for an Abstract Language with Intra-Object-Concurrency.
Euro-Par 1998: 733-737 |
| 6 | | Thomas Firley,
Thomas Gehrke,
Arend Rensink:
Spezifikation eines RPC-Speichers mit der Sprache ProFun.
FBT 1998: 136-147 |
| 5 | | Thomas Gehrke,
Michaela Huhn,
Peter Niebert,
Arend Rensink,
Heike Wehrheim:
A Process Algebra Semantics for MSC Including Conditions.
FBT 1998: 185-196 |
| 4 | | Thomas Gehrke,
Michaela Huhn,
Arend Rensink,
Heike Wehrheim:
An Algebraic Semantics for Message Sequence Chart Documents.
FORTE 1998: 3-18 |
| 1997 |
|---|
| 3 | | Thomas Gehrke:
Zum Einsatz einer graphischen Entwurfsmethode zur Erstellung einer prozeßorientierten Spezifikation.
FBT 1997: 211-220 |
| 2 | | Thomas Gehrke,
Arend Rensink:
Process creation and full sequential composition in a name-passing calculus.
Electr. Notes Theor. Comput. Sci. 7: (1997) |
| 1996 |
|---|
| 1 | | Thomas Gehrke,
Michaela Huhn:
ProFun - A Language for Executable Specifications.
PLILP 1996: 304-318 |
