A Logical Characterization of Asynchronously Communicating Agents.

Søren Christensen A Logical Characterization of Asynchronously Communicating Agents. 93-104 1992 conf/lfcs/1992 LFCS db/conf/lfcs/lfcs1992.html#Christensen92