@dblp

From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics.

, , , and . ALP, volume 850 of Lecture Notes in Computer Science, page 114-132. Springer, (1994)

Links and resources

Tags