Christensen, S. (1990) “A logical characterization of asynchronously communicating agents”, DAIMI Report Series, 19(309). doi: 10.7146/dpb.v19i309.6700.