| |
| 2005 | ||
|---|---|---|
| 8 | EE | L. Gregory Meredith, Matthias Radestock: Namespace Logic: A Logic for a Reflective Higher-Order Calculus. TGC 2005: 353-369 |
| 7 | EE | L. Gregory Meredith, Matthias Radestock: A Reflective Higher-order Calculus. Electr. Notes Theor. Comput. Sci. 141(5): 49-67 (2005) |
| 2003 | ||
| 6 | EE | Matthias Radestock, Susan Eisenbach: Coordinating components in middleware systems. Concurrency and Computation: Practice and Experience 15(13): 1205-1231 (2003) |
| 1996 | ||
| 5 | Matthias Radestock, Susan Eisenbach: Semantics of a Higher-Order Coordination Language. COORDINATION 1996: 339-356 | |
| 4 | Matthias Radestock, Susan Eisenbach: Coordination in Evolving Systems. TreDS 1996: 162-176 | |
| 1995 | ||
| 3 | Matthias Radestock, Susan Eisenbach: An Object Model for Distributed and Concurrent Programming Based on Decomposition. Object Orientation with Parallelism and Persistence 1995: 63-82 | |
| 1994 | ||
| 2 | Matthias Radestock, Susan Eisenbach: What Do You get From a Pi-Calculus Semantics? PARLE 1994: 635-647 | |
| 1 | Matthias Radestock, Susan Eisenbach: Towards a Minimal Object-Oriented Language for Distributed and Concurrent Programming. PODC 1994: 383 | |
| 1 | Susan Eisenbach | [1] [2] [3] [4] [5] [6] |
| 2 | L. Gregory Meredith | [7] [8] |