Event Correlation with Boxed Pomsets

DOI10.1007/978-3-540-73196-2_11MaRDI QIDQ3614848zbMATH OpenOpenAlexFDO

Authors Thomas Gazagnaire, Loïc Hélouët

Publication date 10 March 2009

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

Full work available at URL https://doi.org/10.1007/978-3-540-73196-2_11

Mathematics Subject Classification ID

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

Recommendations

• Diagnosis from scenarios
• Fault detection and diagnosis in distributed systems: An approach by partially stochastic Petri nets
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• Diagnosis with Petri net unfoldings
• Logic-based diagnosis for distributed systems

Cites work

• Diagnosis from scenarios
• Diagnosis of asynchronous discrete-event systems: a net unfolding approach
• High-level message sequence charts and projections.
• scientific article; zbMATH DE number 1754635 (Why is no real title available?)
• Modeling concurrency with partial orders
• The equational theory of pomsets

This page was built for publication: Event Correlation with Boxed Pomsets

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