Event structures for resolvable conflict

DOI10.1007/978-3-540-28629-5_42MaRDI QIDQ5311129zbMATH OpenOpenAlexFDO

Authors Rob van Glabbeek, Gordon D. Plotkin

Publication date 22 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b99679

Mathematics Subject Classification ID

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

Cited in

(8)

• Replication, refinement \& reachability: complexity in dynamic condition-response graphs
• On the expressiveness of higher dimensional automata
• A new operational representation of dependencies in event structures
• scientific article; zbMATH DE number 7215282 (Why is no real title available?)
• Whole-grain Petri nets and processes
• A reversible perspective on Petri nets and event structures
• Semantic domains of timed event structures
• Configuration structures, event structures and Petri nets

This page was built for publication: Event structures for resolvable conflict

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