S. Christensen, “A logical characterization of asynchronously communicating agents”, DPB, vol. 19, no. 309, Apr. 1990.