Concurrency and Communication in Transaction Logic.

Anthony J. Bonner, Michael Kifer

Browse the full ICLP paper archive.