Adding priority to event structures

MaRDI QIDQ4992497zbMATH OpenFDO

Authors Youssef Arbach, Kirstin Peters, Uwe Nestmann

Publication date 9 June 2021

Full work available at URL https://arxiv.org/abs/1307.7441, http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESSSOS13.3

Mathematics Subject Classification ID

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

Recommendations

• Higher-order dynamics in event structures
• Conflict vs causality in event structures
• Simultaneity in event structures

Cited in

(3)

• Higher-order dynamics in event structures
• Event structures with higher-order dynamics
• Event-based functional decomposition

This page was built for publication: Adding priority to event structures

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