Jean Paul Bahsoun, Corinne Servieres, Christel Seguin. A Unique Formalism for Specifying and Designing Objects in a Parallel Environment. In Dines Bjørner, Manfred Broy, Igor V. Pottosin, editors, Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28 - July 2, 1993, Proceedings. Volume 735 of Lecture Notes in Computer Science, pages 267-280, Springer, 1993.
Abstract is missing.