Inproceedings,

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)

Meta data

Tags

Users

  • @dblp

Comments and Reviews