A Generic and Executable Model for the Specification and Validation of Distributed Behaviors

Dominique Sidou. A Generic and Executable Model for the Specification and Validation of Distributed Behaviors. In Otto Spaniol, Claudia Linnhoff-Popien, Bernd Meyer, editors, Trends in Distributed Systems: CORBA and Beyond, International Workshop TreDS 96, Aachen, Germany, October 1-2, 1996, Proceedings. Volume 1161 of Lecture Notes in Computer Science, pages 258-274, Springer, 1996.

Abstract

Abstract is missing.