Contextual occurrence nets and concurrent constraint programming

DOI10.1007/3-540-57787-4_18MaRDI QIDQ5096288zbMATH OpenOpenAlexFDO

Authors Ugo Montanari, Francesca Rossi

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

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

Recommendations

• Contextual nets
• A confluent calculus for concurrent constraint programming
• Partial order and contextual net semantics for atomic and locally atomic CC programs
• Truly concurrent constraint programming
• Models for concurrent constraint programming

Cites work

• Abstract graph derivations in the double pushout approach
• Graph rewriting for a partial ordering semantics of concurrent constraints programming
• scientific article; zbMATH DE number 3885321 (Why is no real title available?)
• scientific article; zbMATH DE number 3780545 (Why is no real title available?)
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 177436 (Why is no real title available?)

Cited in

(7)

• Contextual Petri nets, asymmetric event structures, and processes
• Domain and event structure semantics for Petri nets with read and inhibitor arcs
• Contextual nets
• Models and emerging trends of concurrent constraint programming
• scientific article; zbMATH DE number 5547861 (Why is no real title available?)
• Efficient unfolding of contextual Petri nets
• scientific article; zbMATH DE number 1556864 (Why is no real title available?)

This page was built for publication: Contextual occurrence nets and concurrent constraint programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5096288)