On the Asynchronous Nature of Communication in Concurrent Logic Languages: A Fully Abstract Model Based on Sequences.

Frank S. de Boer Catuscia Palamidessi On the Asynchronous Nature of Communication in Concurrent Logic Languages: A Fully Abstract Model Based on Sequences. 99-114 1990 conf/concur/1990 CONCUR db/conf/concur/concur1990.html#BoerP90 http://dx.doi.org/10.1007/BFb0039054