Entity usage

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

Showing below up to 32 results in range #1 to #32.

Temporal Antecedent Failure: Refining Vacuity: Label: en
Alternating Automata and a Temporal Fixpoint Calculus for Visibly Pushdown Languages: Label: en
Pushdown Module Checking with Imperfect Information: Label: en
Timed Concurrent Game Structures: Label: en
Strategy Synthesis for Markov Decision Processes and Branching-Time Logics: Label: en
Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes: Label: en
Asynchronous Games: Innocence Without Alternation: Label: en
Reactive Systems over Directed Bigraphs: Label: en
Coalgebraic Models for Reactive Systems: Label: en
Mobility Control Via Passports: Label: en
Interpreting a Finitary Pi-calculus in Differential Interaction Nets: Label: en
Compositional Event Structure Semantics for the Internal π-Calculus: Label: en
Automatic Derivation of Compositional Rules in Automated Compositional Reasoning: Label: en
Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures: Label: en
Fair Cooperative Multithreading: Label: en
A Marriage of Rely/Guarantee and Separation Logic: Label: en
On the Expressive Power of Global and Local Priority in Process Calculi: Label: en
Topology-Dependent Abstractions of Broadcast Networks: Label: en
The Must Preorder Revisited: Label: en
Is Observational Congruence Axiomatisable in Equational Horn Logic?: Label: en
Checking Coverage for Infinite Collections of Timed Scenarios: Label: en
Causal Message Sequence Charts: Label: en
A Nice Labelling for Tree-Like Event Structures of Degree 3: Label: en
Decidability Results for Well-Structured Transition Systems with Auxiliary Storage: Label: en
Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems: Label: en
On Modal Refinement and Consistency: Label: en
Linear Time Logics Around PSL: Complexity, Expressiveness, and a Little Bit of Succinctness: Label: en
Solving Games Via Three-Valued Abstraction Refinement: Label: en
Strategy Logic: Label: en
Making Random Choices Invisible to the Scheduler: Label: en
Rule-Based Modelling of Cellular Signalling: Label: en
The Saga of the Axiomatization of Parallel Composition: Label: en