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 26 results in range #151 to #176.

Model Checking Languages of Data Words: Label: en
First-Order Model Checking on Nested Pushdown Trees is Complete for Doubly Exponential Alternating Time: Label: en
Deriving Bisimulation Congruences for Conditional Reactive Systems: Label: en
Functions as Session-Typed Processes: Label: en
On Distributability of Petri Nets: Label: en
Full Abstraction for Set-Based Models of the Symmetric Interaction Combinators: Label: en
Concurrent Games with Ordered Objectives: Label: en
Subgame Perfection for Equilibria in Quantitative Reachability Games: Label: en
Robustness of Structurally Equivalent Concurrent Parity Games: Label: en
On Nominal Regular Languages with Binders: Label: en
Narcissists Are Easy, Stepmothers Are Hard: Label: en
Event Structure Semantics of Parallel Extrusion in the Pi-Calculus: Label: en
Is It a “Good” Encoding of Mixed Choice?: Label: en
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes: Label: en
Brookes Is Relaxed, Almost!: Label: en
Extending ${\cal H}_1$ -Clauses with Path Disequalities: Label: en
Improved Ramsey-Based Büchi Complementation: Label: en
Effective Characterizations of Simple Fragments of Temporal Logic Using Prophetic Automata: Label: en
Applicative Bisimulations for Delimited-Control Operators: Label: en
Combining Interactive and Automatic Reasoning in First Order Theories of Functional Programs: Label: en
Well-Pointed Coalgebras (Extended Abstract): Label: en
When Is a Container a Comonad?: Label: en
A Coalgebraic Perspective on Minimization and Determinization: Label: en
Fibrational Induction Meets Effects: Label: en
Bicategories of Concurrent Games: Label: en
Querying UML Class Diagrams: Label: en