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

Francisco Bueno, Manuel V. Hermenegildo, Ugo Montanari, Francesca Rossi. From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics. In Giorgio Levi, Mario Rodríguez-Artalejo, editors, Algebraic and Logic Programming, 4th International Conference, ALP 94, Madid, Spain, September 14-16, 1994, Proceedings. Volume 850 of Lecture Notes in Computer Science, pages 114-132, Springer, 1994.

Bibliographies