scientific article; zbMATH DE number 7561325

DOI10.4230/LIPIcs.FSTTCS.2018.20MaRDI QIDQ5090956

Béatrice Bérard, Loïc Hélouët, Stefan Haar

Publication date: 21 July 2022

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

logicpartial ordershyper-logic

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of computing (68Qxx)

Related Items

Compositional model checking for multi-properties

Cites Work

• Hyperedge replacement: grammars and languages
• Branching processes of Petri nets
• Graph minors. X: Obstructions to tree-decomposition
• A technique of state space search based on unfolding
• An improvement of McMillan's unfolding algorithm
• The complexity of diagnosability and opacity verification for Petri nets
• Reasoning about layered message passing systems
• Unfolding-based diagnosis of systems with an evolving topology
• Concurrent secrets
• The monadic second-order logic of graphs. I: Recognizable sets of finite graphs
• Propositional Dynamic Logic for Message-Passing Systems
• MSO Decidability of Multi-Pushdown Systems via Split-Width
• Unfolding-Based Diagnosis of Systems with an Evolving Topology
• Model Checking on Trees with Path Equivalences
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item