Refinement of Open Protocols for Modelling and Analysis of Complex Interactions in Multi-agent Systems

Nabil Hameurlain. Refinement of Open Protocols for Modelling and Analysis of Complex Interactions in Multi-agent Systems. In Vladimír Marík, Jörg P. Müller, Michal Pechoucek, editors, Multi-Agent Systems and Applications III, 3rd International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2003, Prague, Czech Republic, June 16-18, 2003, Proceedings. Volume 2691 of Lecture Notes in Computer Science, pages 423-434, Springer, 2003. [doi]

@inproceedings{Hameurlain03,
  title = {Refinement of Open Protocols for Modelling and Analysis of Complex Interactions in Multi-agent Systems},
  author = {Nabil Hameurlain},
  year = {2003},
  url = {http://link.springer.de/link/service/series/0558/bibs/2691/26910423.htm},
  tags = {protocol, refinement, points-to analysis, analysis, source-to-source, open-source},
  researchr = {https://researchr.org/publication/Hameurlain03},
  cites = {0},
  citedby = {0},
  pages = {423-434},
  booktitle = {Multi-Agent Systems and Applications III, 3rd International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2003, Prague, Czech Republic, June 16-18, 2003, Proceedings},
  editor = {Vladimír Marík and Jörg P. Müller and Michal Pechoucek},
  volume = {2691},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-40450-3},
}