Unfolding-Based Diagnosis of Systems with an Evolving Topology

DOI10.1007/978-3-540-85361-9_19zbMath1160.68453OpenAlexW1849681253MaRDI QIDQ3541019

Paolo Baldan, Barbara König, Stefan Haar, Thomas Chatain

Publication date: 25 November 2008

Published in: CONCUR 2008 - Concurrency Theory (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.181.1077

Mathematics Subject Classification ID

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

Related Items (5)

Unfolding Grammars in Adhesive Categories ⋮ Causality analysis and fault ascription in component-based systems ⋮ Unfolding-based diagnosis of systems with an evolving topology ⋮ Unfolding-Based Diagnosis of Systems with an Evolving Topology ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algebraic approach to single-pushout graph transformation
• Unfolding semantics of graph transformation
• Diagnosis of discrete event systems using decentralized architectures
• Distributed monitoring of concurrent and asynchronous systems
• Contextual Petri nets, asymmetric event structures, and processes
• Unfolding-Based Diagnosis of Systems with an Evolving Topology
• Non-sequential Behaviour of Dynamic Nets
• Diagnosis of asynchronous discrete-event systems: a net unfolding approach
• Adhesive and quasiadhesive categories
• Foundations of Software Science and Computation Structures

This page was built for publication: Unfolding-Based Diagnosis of Systems with an Evolving Topology