Stefano Borgo A Multi-agent Modal Language for Concurrency with Non-communicating Agents. 40-50 2003 conf/ceemas/2003 CEEMAS http://link.springer.de/link/service/series/0558/bibs/2691/26910040.htm db/conf/ceemas/ceemas2003.html#Borgo03