Francisco Bueno Manuel V. Hermenegildo Ugo Montanari Francesca Rossi Partial Order and Contextual Net Semantics for Atomic and Locally Atomic CC Programs. 51-82 1998 30 Sci. Comput. Program. 1-2 db/journals/scp/scp30.html#BuenoHMR98