Christensen, S. A Logical Characterization of Asynchronously Communicating Agents. DPB 1990, 19.