EEMCS

Gehrke, T. and Rensink, A. (1999) A Mobile Calculus with Data. Technical Report 99-04, Technical University of Braunschweig, Braunschweig, Germany. ISSN not assigned

Firley, T. and Gehrke, T. and Rensink, A. (1998) Spezifikation eines RPC-Speichers mit der Sprache ProFun. In: Formale Beschreibungstechniken für verteilte Systeme, Cottbus, Germany. pp. 136-147. Shaker Verlag. ISBN 3-8265-3807-2

Gehrke, T. and Huhn, M. and Rensink, A. and Wehrheim, H. (1998) A Process Algebra Semantics for Message Sequence Chart Documents. Hildesheimer Informatik-Bericht 5/98, University of Hildesheim, Hildesheim, Germany. ISSN 0941-3014

Gehrke, T. and Huhn, M. and Rensink, A. and Wehrheim, H. (1998) An Algebraic Semantics for Message Sequence Chart Documents. In: Formal Decription Techniques (FORTE). pp. 3-18. IFIP Conference Proceedings 135. Chapman & Hall. ISBN 0-412-84760-4

Gehrke, T. and Rensink, A. (1997) Process Creation and Full Sequential Composition in a Name-Passing Calculus. Hildesheimer Informatik-Bericht 97/7, Institut für Informatik, University of Hildesheim, Hildesheim. ISSN 0941-3014

Gehrke, T. and Rensink, A. (1997) Process Creation and Full Sequential Composition in a Name-Passing Calculus. In: Expressiveness in Concurrency. pp. 141-160. Electronic Notes in Theoretical Computer Science 7. Elsevier. ISSN 1571-0661