Partial order and contextual net semantics for atomic and locally atomic CC programs
From MaRDI portal
Publication:1380121
DOI10.1016/S0167-6423(97)00007-5zbMath0891.68057MaRDI QIDQ1380121
Manuel V. Hermenegildo, Francesca Rossi, Francisco Bueno, Ugo Montanari
Publication date: 25 February 1998
Published in: Science of Computer Programming (Search for Journal in Brave)
Related Items (4)
Abstractions for fault-tolerant global computing ⋮ Domain and event structure semantics for Petri nets with read and inhibitor arcs ⋮ Concurrency for Graph Grammars in a Petri net shell ⋮ Models and emerging trends of concurrent constraint programming
This page was built for publication: Partial order and contextual net semantics for atomic and locally atomic CC programs
