Unifying asynchronous logics for hyperproperties
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 1500666 (Why is no real title available?)
- scientific article; zbMATH DE number 6851935 (Why is no real title available?)
- scientific article; zbMATH DE number 795590 (Why is no real title available?)
- scientific article; zbMATH DE number 7799630 (Why is no real title available?)
- A temporal logic for asynchronous hyperproperties
- Asynchronous extensions of hyperLTL
- Diagnosability of discrete-event systems
- Diagnosability of fair transition systems
- Expressiveness and decidability of temporal logics for asynchronous hyperproperties
- Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic
- From liveness to promptness
- Model Checking Information Flow in Reactive Systems
- On the complexity of linear temporal logic with team semantics
- Propositional Dynamic Logic for Hyperproperties
- Propositional dynamic logic of regular programs
- Reasoning about infinite computations
- Second-order hyperproperties
- Team semantics for the specification and verification of hyperproperties
- Temporal team semantics revisited
- The complementation problem for Büchi automata with applications to temporal logic
- The first-order logic of hyperproperties
- The hierarchy of hyperlogics
- Unifying hyper and epistemic temporal logics
- “Sometimes” and “not never” revisited
This page was built for publication: Unifying asynchronous logics for hyperproperties
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7263572)
