CONCUR 2003 - Concurrency Theory

DOI10.1007/b11938zbMath1274.68221OpenAlexW105220891MaRDI QIDQ5900555

Claude Jard, Eric Fabre, Stefan Haar, Albert Benveniste

Publication date: 30 March 2010

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

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

zbMATH Keywords

fault diagnosisasynchronousevent structuresdistributedbelief propagationconcurrentunfoldingsfault management

Mathematics Subject Classification ID

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

Related Items

Causality analysis and fault ascription in component-based systems ⋮ ``Truly concurrent and nondeterministic semantics of discrete-time Petri nets ⋮ True-concurrency probabilistic models: Markov nets and a law of large numbers ⋮ Distributed monitoring of concurrent and asynchronous systems ⋮ On-line monitoring of large Petri net models under partial observation