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.

Datatypes in Memory: Label: en
Conceptual Data Modeling with Constraints in Maude: Label: en
Impossibility Results for the Equational Theory of Timed CCS: Label: en
Ready to Preorder: Get Your BCCSP Axiomatization for Free!: Label: en
Symmetry and Concurrency: Label: en
Deriving Bisimulation Congruences with Borrowed Contexts: Label: en
Logical Semantics of Types for Concurrency: Label: en
Regular and Algebraic Words and Ordinals: Label: en
Bootstrapping Types and Cotypes in HasCASL: Label: en
Coalgebraic Foundations of Linear Systems: Label: en
An Institutional Version of Gödel’s Completeness Theorem: Label: en
Nabla Algebras and Chu Spaces: Label: en
Observing Distributed Computation. A Dynamic-Epistemic Approach: Label: en
CIRC: A Circular Coinductive Prover: Label: en
Specification-Based Testing for CoCasl’s Modal Specifications: Label: en
The Goldblatt-Thomason Theorem for Coalgebras: Label: en
Quasitoposes, Quasiadhesive Categories and Artin Glueing: Label: en
Algebraic Models of Simultaneous Multithreaded and Multi-core Processors: Label: en
Bisimulation for Neighbourhood Structures: Label: en
Parametric (Co)Iteration vs. Primitive Direcursion: Label: en
A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines: Label: en
Higher Dimensional Trees, Algebraically: Label: en
Graphical Encoding of a Spatial Logic for the π-Calculus: Label: en
Structured Co-spans: An Algebra of Interaction Protocols: Label: en
Bifinite Chu Spaces: Label: en
Coalgebraic Epistemic Update Without Change of Model: Label: en
Free Modal Algebras: A Coalgebraic Perspective: Label: en
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets: Label: en
WiCcA : LTS Generation Tool for Wire Calculus: Label: en
Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras: Label: en
PREG Axiomatizer – A Ground Bisimilarity Checker for GSOS with Predicates: Label: en
Context-Free Languages, Coalgebraically: Label: en
Distributive-Law Semantics for Cellular Automata and Agent-Based Models: Label: en
Generalized Product of Coalgebraic Hybrid Logics: Label: en
Proving Safety Properties of Rewrite Theories: Label: en
Linearly-Used State in Models of Call-by-Value: Label: en
Hybridization of Institutions: Label: en
Coalgebraic Semantics for Derivations in Logic Programming: Label: en
A Coalgebraic Approach to Supervisory Control of Partially Observed Mealy Automata: Label: en
Bases as Coalgebras: Label: en
The Microcosm Principle and Compositionality of GSOS-Based Component Calculi: Label: en
A Counterexample to Tensorability of Effects: Label: en
Stone Duality for Nominal Boolean Algebras with И: Label: en
Indexed Induction and Coinduction, Fibrationally: Label: en
On the Fusion of Coalgebraic Logics: Label: en
Refinement Trees: Calculi, Tools, and Applications: Label: en
Model Checking Linear Coalgebraic Temporal Logics: An Automata-Theoretic Approach: Label: en
Relation Liftings on Preorders and Posets: Label: en
Model Constructions for Moss’ Coalgebraic Logic: Label: en
Finitary Functors: From Set to Preord and Poset: Label: en