CONCUR 2003 - Concurrency Theory
From MaRDI portal
Publication:5900555
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
fault diagnosisasynchronousevent structuresdistributedbelief propagationconcurrentunfoldingsfault management
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