PUBLICATION: A generic and executable model for the specification and validation of distributed behaviors
© Springer. Personal use of this material is permitted. The definitive version of this paper was published in TREDS 1996, International Workshop on Trends in distributed systems, CORBA and Beyond, October 1-2, 1996, Aachen, Germany and is available at : http://dx.doi.org/10.1007/3-540-61842-2