Matthias Radestock

According to our database, Matthias Radestock authored at least 10 papers between 1994 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2005

A Reflective Higher-order Calculus.

L. Gregory Meredith, Matthias Radestock

Proceedings of the Workshop on the Foundations of Interactive Computation, 2005

Namespace Logic: A Logic for a Reflective Higher-Order Calculus.

L. Gregory Meredith, Matthias Radestock

Proceedings of the Trustworthy Global Computing, International Symposium, 2005

2003

Coordinating components in middleware systems.

Matthias Radestock, Susan Eisenbach

Concurr. Comput. Pract. Exp., 2003

1999

Coordination in adaptive open distributed systems.

Matthias Radestock

PhD thesis, 1999

1996

Coordination in Evolving Systems.

Matthias Radestock, Susan Eisenbach

Proceedings of the Trends in Distributed Systems: CORBA and Beyond, 1996

Formalizing System Structure.

Matthias Radestock, Susan Eisenbach

Proceedings of the 8th International Workshop on Software Specification and Design, 1996

Semantics of a Higher-Order Coordination Language.

Matthias Radestock, Susan Eisenbach

Proceedings of the Coordination Languages and Models, First International Conference, 1996

1995

An Object Model for Distributed and Concurrent Programming Based on Decomposition.

Matthias Radestock, Susan Eisenbach

Proceedings of the Object Orientation with Parallelism and Persistence (the book grow out of a Dagstuhl Seminar in April 1995), 1995

1994

Towards a Minimal Object-Oriented Language for Distributed and Concurrent Programming.

Matthias Radestock, Susan Eisenbach

Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, 1994

What Do You get From a Pi-Calculus Semantics?

Matthias Radestock, Susan Eisenbach

Proceedings of the PARLE '94: Parallel Architectures and Languages Europe, 1994