Hyper partial order logic
From MaRDI portal
Publication:5090956
Recommendations
- Deciding global partial-order properties
- Model-checking games for fixpoint logics with partial order models
- Model checking algorithms for hyperproperties (invited paper)
- Model-Checking Games for Fixpoint Logics with Partial Order Models
- A partial order approach to branching time logic model checking.
Cites work
- scientific article; zbMATH DE number 177454 (Why is no real title available?)
- scientific article; zbMATH DE number 2081110 (Why is no real title available?)
- A technique of state space search based on unfolding
- An improvement of McMillan's unfolding algorithm
- Branching processes of Petri nets
- Concurrent secrets
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
- Graph minors. X: Obstructions to tree-decomposition
- Graph structure and monadic second-order logic. A language-theoretic approach
- Hyperedge replacement: grammars and languages
- Logic-based diagnosis for distributed systems
- MSO decidability of multi-pushdown systems via split-width
- Model Checking on Trees with Path Equivalences
- Propositional dynamic logic for message-passing systems
- Reasoning about layered message passing systems
- The complexity of diagnosability and opacity verification for Petri nets
- The monadic second-order logic of graphs. I: Recognizable sets of finite graphs
- Trees over infinite structures and path logics with synchronization
- Unfolding-Based Diagnosis of Systems with an Evolving Topology
- Unfolding-based diagnosis of systems with an evolving topology
Cited in
(3)
This page was built for publication: Hyper partial order logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5090956)
