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.

Spatial and Behavioral Types in the Pi-Calculus: Label: en
On the Reachability Analysis of Acyclic Networks of Pushdown Systems: Label: en
Mixing Lossy and Perfect Fifo Channels: Label: en
Strategy Construction for Parity Games with Imperfect Information: Label: en
Quasi-Static Scheduling of Communicating Tasks: Label: en
On the Minimisation of Acyclic Models: Label: en
Abstraction for Stochastic Systems by Erlang’s Method of Stages: Label: en
Least Upper Bounds for Probability Measures and Their Applications to Abstractions: Label: en
A Space-Efficient Probabilistic Simulation Algorithm: Label: en
Dynamic Partial Order Reduction Using Probe Sets: Label: en
On the Construction of Sorted Reactive Systems: Label: en
Unfolding-Based Diagnosis of Systems with an Evolving Topology: Label: en
Invariants for Parameterised Boolean Equation Systems: Label: en
Subsequence Invariants: Label: en
Environment Assumptions for Synthesis: Label: en
Contract-Directed Synthesis of Simple Orchestrators: Label: en
Modeling Computational Security in Long-Lived Systems: Label: en
A Context-Free Process as a Pushdown Automaton: Label: en
Distributed Timed Automata with Independently Evolving Clocks: Label: en
R-Automata: Label: en
Semantics of Deterministic Shared-Memory Systems: Label: en
Completeness and Nondeterminism in Model Checking Transactional Memories: Label: en
A Model of Dynamic Separation for Transactional Memory: Label: en
A Notion of Glue Expressiveness for Component-Based Systems: Label: en
Towards a Unified Approach to Encodability and Separation Results for Process Calculi: Label: en
Termination Problems in Chemical Kinetics: Label: en
Deriving Structural Labelled Transitions for Mobile Ambients: Label: en
A Rule Format for Associativity: Label: en
Normed BPA vs. Normed BPP Revisited: Label: en
Global Progress in Dynamically Interleaved Multiparty Sessions: Label: en
Structured Interactional Exceptions in Session Types: Label: en
A Spatial Equational Logic for the Applied π-Calculus: Label: en