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

Frank S. de Boer, Catuscia Palamidessi

Browse the full CONCUR paper archive.