Nissim Francez;Ira R. Forman
-;-
A top down approach for MAS protocol descriptions
Proceedings of the 2003 ACM symposium on Applied computing