A Multi-agent Modal Language for Concurrency with Non-communicating Agents

Stefano Borgo. A Multi-agent Modal Language for Concurrency with Non-communicating Agents. 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 40-50, Springer, 2003. [doi]

Abstract

Abstract is missing.