scientific article; zbMATH DE number 7297883

MaRDI QIDQ5144682zbMATH OpenFDO

Authors Paolo Baldan, Andrea Corradini, Fabio Gadducci

Publication date 19 January 2021

Full work available at URL https://arxiv.org/abs/1701.02394, http://dl.acm.org/citation.cfm?id=3330070

zbMATH Keywords

event structuresfusionsgraph rewritingprocess calculi

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Event structures and domains
• Event structures and domains
• Probabilistic event structures and domains
• CONCUR 2004 - Concurrency Theory
• Universal homogeneous event structures and domains
• Concurrent semantics for fusions: weak prime domains and connected event structures
• Domain theory and integration
• Event domains, stable functions and proof-nets
• Modeling event structures*
• scientific article; zbMATH DE number 4018370

Cited in

(7)

• Event structures and domains
• Context-free event domains are recognizable
• Concurrent semantics for fusions: weak prime domains and connected event structures
• Event structure semantics for multiparty sessions
• Event structures for Petri nets with persistence
• Left-linear rewriting in adhesive categories
• Reversible computations are computations

This page was built for publication:

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