What Do You get From a Pi-Calculus Semantics? - Matthias Radestock; Susan Eisenbach (PARLE, 1994)

Towards a Minimal Object-Oriented Language for Distributed and Concurrent Programming. - Matthias Radestock; Susan Eisenbach (PODC, 1994)

An Object Model for Distributed and Concurrent Programming Based on Decomposition. - Matthias Radestock; Susan Eisenbach (Object Orientation with Parallelism and Persistence, 1995)

Semantics of a Higher-Order Coordination Language. - Matthias Radestock; Susan Eisenbach (COORDINATION, 1996)

Formalizing System Structure. - Matthias Radestock; Susan Eisenbach (IWSSD, 1996)

Coordination in Evolving Systems. - Matthias Radestock; Susan Eisenbach (TreDS, 1996)

Coordination in adaptive open distributed systems. - Matthias Radestock (1999)

Coordinating components in middleware systems. - Matthias Radestock; Susan Eisenbach (Concurr. Comput. Pract. Exp., 2003)

Namespace Logic: A Logic for a Reflective Higher-Order Calculus. - L. Gregory Meredith; Matthias Radestock (TGC, 2005)

A Reflective Higher-order Calculus. - L. Gregory Meredith; Matthias Radestock (FInCo@ETAPS, 2005)