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

CMCS'2002: Coalgebraic methods in computer science. Proceedings of the 5th workshop (satellite event of ETAPS 2002), Grenoble, France, April 6--7, 2002.: Label: en
Proceedings of the 11th Brazilian symposium on formal methods (SBMF 2008) Salvador, Brazil, August 26--29, 2008: Label: en
Proceedings of the doctoral symposium affiliated with the fifth integrated formal methods conference (IFM 2005), Eindhoven, The Netherlands, November 29, 2005: Label: en
Combined proceedings of the fourth workshop on pragmatics of decision procedures in automated reasoning (PDPAR 2006) and the first international workshop on probabilistic automata and logics (PaUL 2006), Seattle, WA, USA, August 2006: Label: en
Proceedings of INFINITY 2003, the 5th international workshop on verification of infinite-state systems, a satellite workshop of CONCUR 2003, Marseille, France September 2, 2003: Label: en
Proceedings of the mathematical knowledge management symposium, Edinburgh, UK November 25--29, 2003: Label: en
Proceedings of the 14th BCS-FACS refinement workshop (REFINE 2009), Eindhoven, The Netherlands, November 2009: Label: en
Proceedings of the 8th international workshop on the foundations of coordination languages and software architectures (FOCLASA 2009), Rhodes, Greece, July 11, 2009: Label: en
VPHL: a verified partial-correctness logic for probabilistic programs: Label: en
A model of PCF in guarded type theory: Label: en
Sound and complete equational reasoning over comodels: Label: en
Alternation-free weighted mu-calculus: decidability and completeness: Label: en
Sequential algorithms for unbounded nondeterminism: Label: en
Healthiness conditions for predicate transformers: Label: en
An effect-theoretic account of Lebesgue integration: Label: en
Reversible monadic computing: Label: en
Conditioning in probabilistic programming: Label: en
Unguarded recursion on coinductive resumptions: Label: en
Bifibrational functorial semantics of parametric polymorphism: Label: en
Dirichlet is natural: Label: en
Towards compositional graph theory: Label: en
Focused linear logic and the \(\lambda\)-calculus: Label: en
A model of guarded recursion with clock synchronisation: Label: en
A presheaf model of parametric type theory: Label: en
Representation of partial traces: Label: en
An introduction to algebraic effects and handlers (invited tutorial paper): Label: en
Steps in modular specifications for concurrent modules (invited tutorial paper): Label: en
CLIMA'2002. Computational logic in multi-agent systems (FLoC satellite event), Copenhagen, Denmark, August 1, 2002: Label: en
Multi-Linear Iterative K-Σ-Semialgebras: Label: en
A Quantum Representation for Involution Groups: Label: en
Step-Indexed Kripke Model of Separation Logic for Storable Locks: Label: en
Observationally-induced Effect Monads: Upper and Lower Powerspace Constructions: Label: en
Towards Effects in Mathematical Operational Semantics: Label: en
Formal Verification of Differential Privacy for Interactive Systems (Extended Abstract): Label: en
Formal Reduction for Rule-based Models: Label: en
A Revisionist History of Concurrent Separation Logic: Label: en
Concurrent Separation Logic and Operational Semantics: Label: en
A Resource Analysis of the π-calculus: Label: en
Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems: Label: en
2-Dimensional Directed Type Theory: Label: en
Ramified Corecurrence and Logspace: Label: en
Realization of Coinductive Types: Label: en
From Applicative to Environmental Bisimulation: Label: en
Capsules and Closures: Label: en
Precision and the Conjunction Rule in Concurrent Separation Logic: Label: en
Modelling Intracellular Fate of FGF Receptors With BioAmbients: Label: en
On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation: Label: en
Oracle-Based Partial Evaluation: Label: en
Branching Bisimulation Congruence for Probabilistic Systems: Label: en
A Behavioural Pseudometric based on λ–Bisimilarity: Label: en