3. CONCUR 1992:
Stony Brook, NY, USA
: On the Uniqueness of Fixpoints Modulo Observation Congruence.
: Distributed Bisimularity is Decidable for a Class of Infinite State-Space Systems.
: How Vital is Liveness? Verifying Timing Properties of Reactive and Hybrid Systems (Extended Abstract).
Frank A. Stomp
: Preserving Specific Properties in Programm Development: How to Debug Programs (Conference Version).
: Sometimes 'Some' is as Good as 'All'.
: Implementing LOTOS Specifications by Communicating State Machines.
Ehud Y. Shapiro
: Embeddings Among Concurrent Programming Languages (Preliminary Version).