Partial Order and Contextual Net Semantics for Atomic and Locally Atomic CC Programs

Francisco Bueno, Manuel V. Hermenegildo, Ugo Montanari, Francesca Rossi. Partial Order and Contextual Net Semantics for Atomic and Locally Atomic CC Programs. Science of Computer Programming, 30(1-2):51-82, 1998.

Abstract

Abstract is missing.