Jean Paul Bahsoun, Stephan Merz, Corinne Servieres. Modular Description and Verification of Concurrent Objects. In Jean-Pierre Briot, Jean-Marc Geib, Akinori Yonezawa, editors, Object-Based Parallel and Distributed Computation, France-Japan Workshop, OBPDC 95, Tokyo, Japan, June 21-23, 1995, Selected Papers. Volume 1107 of Lecture Notes in Computer Science, pages 168-186, Springer, 1995.
Abstract is missing.