Composition and Interaction for Behavioural Specifications

S. Veglioni, Francesco Parisi-Presicce. Composition and Interaction for Behavioural Specifications. In Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri, editors, Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy. Volume 139 of IFIP Conference Proceedings, Kluwer, 1999.

Abstract

Abstract is missing.