Contextual occurrence nets and concurrent constraint programming

DOI10.1007/3-540-57787-4_18zbMath1494.68183OpenAlexW1759021599MaRDI QIDQ5096288

Francesca Rossi, Ugo Montanari

Publication date: 16 August 2022

Published in: Graph Transformations in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-57787-4_18

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Domain and event structure semantics for Petri nets with read and inhibitor arcs, Efficient unfolding of contextual Petri nets, Contextual Petri nets, asymmetric event structures, and processes, Models and emerging trends of concurrent constraint programming

Cites Work

• Graph rewriting for a partial ordering semantics of concurrent constraints programming
• Abstract graph derivations in the double pushout approach
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item