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.

@inproceedings{Sidou96,
  title = {A Generic and Executable Model for the Specification and Validation of Distributed Behaviors},
  author = {Dominique Sidou},
  year = {1996},
  researchr = {https://researchr.org/publication/Sidou96},
  cites = {0},
  citedby = {0},
  pages = {258-274},
  booktitle = {Trends in Distributed Systems: CORBA and Beyond, International Workshop TreDS  96, Aachen, Germany, October 1-2, 1996, Proceedings},
  editor = {Otto Spaniol and Claudia Linnhoff-Popien and Bernd Meyer},
  volume = {1161},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-61842-2},
}