François Vernadat, Pierre Azéma. High Level Transition Systems for Communicating Agents. In Gul Agha, Fiorella de Cindio, Grzegorz Rozenberg, editors, Concurrent Object-Oriented Programming and Petri Nets, Advances in Petri Nets. Volume 2001 of Lecture Notes in Computer Science, pages 473-492, Springer, 2001. [doi]
Abstract is missing.