Event structures for arbitrary disruption

MaRDI QIDQ5472886zbMATH OpenFDO

Authors Harald Fecher, Mila Majster-Cederbaum

Publication date 19 June 2006

zbMATH Keywords

process algebras

Mathematics Subject Classification ID

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

Recommendations

• Event structures for interrupt process algebras
• Event structures with disabling/enabling relation and event automata
• scientific article; zbMATH DE number 4182807
• scientific article; zbMATH DE number 4018370
• scientific article; zbMATH DE number 4119660

Cited in

(5)

• Replication, refinement \& reachability: complexity in dynamic condition-response graphs
• Event structures for interrupt process algebras
• Schedulers and finishers: on generating the behaviours of an event structure
• Event structures with disabling/enabling relation and event automata
• Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes

This page was built for publication: Event structures for arbitrary disruption

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