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 34 results in range #1 to #34.

A Hierarchy of Expressiveness in Concurrent Interaction Nets: Label: en
A Theory of Name Boundedness: Label: en
Symbolic Bisimulation for a Higher-Order Distributed Language with Passivation: Label: en
Expand, Enlarge, and Check for Branching Vector Addition Systems: Label: en
A Relational Trace Logic for Vector Addition Systems with Application to Context-Freeness: Label: en
Well-Structured Pushdown Systems: Label: en
Solving Parity Games on Integer Vectors: Label: en
Merging Partial Behaviour Models with Different Vocabularies: Label: en
Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory: Label: en
Mutually Testing Processes: Label: en
Modular Semantics for Transition System Specifications with Negative Premises: Label: en
Robust Controller Synthesis in Timed Automata: Label: en
A Faster Algorithm for Solving One-Clock Priced Timed Games: Label: en
Borel Determinacy of Concurrent Games: Label: en
Hyperplane Separation Technique for Multidimensional Mean-Payoff Games: Label: en
Generalizing Simulation to Abstract Domains: Label: en
Proof Graphs for Parameterised Boolean Equation Systems: Label: en
Satisfiability of CTL* with Constraints: Label: en
Compositional Choreographies: Label: en
A General Proof System for Modalities in Concurrent Constraint Programming: Label: en
Globally Governed Session Semantics: Label: en
Thermodynamic Graph-Rewriting: Label: en
Compositional Verification and Optimization of Interactive Markov Chains: Label: en
Cost Preserving Bisimulations for Probabilistic Automata: Label: en
Reachability Probabilities of Quantum Markov Chains: Label: en
The Power of Priority Channel Systems: Label: en
Reversibility and Asymmetric Conflict in Event Structures: Label: en
Safety Verification of Asynchronous Pushdown Systems with Shaped Stacks: Label: en
From Model Checking to Model Measuring: Label: en
Causality-Based Verification of Multi-threaded Programs: Label: en
Aspect-Oriented Linearizability Proofs: Label: en
Characterizing Progress Properties of Concurrent Objects via Contextual Refinements: Label: en
An Epistemic Perspective on Consistency of Concurrent Computations: Label: en
The Power of Well-Structured Systems: Label: en