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.

Generic Hoare Logic for Order-Enriched Effects with Exceptions: Label: en
Formalizing and Validating the P-Store Replicated Data Store in Maude: Label: en
Canonical Selection of Colimits: Label: en
Towards Critical Pair Analysis for the Graph Programming Language GP 2: Label: en
Observational Semantics for Dynamic Logic with Binders: Label: en
On the Most Suitable Axiomatization of Signed Integers: Label: en
An Institution for Event-B: Label: en
A Calculus of Virtually Timed Ambients: Label: en
Probability Functions in the Context of Signed Involutive Meadows (Extended Abstract): Label: en
Algebraic Model Management: A Survey: Label: en
Asymmetric Combination of Logics is Functorial: A Survey: Label: en
Theorising Monitoring: Algebraic Models of Web Monitoring in Organisations: Label: en
A Temporal Graph Logic for Verification of Graph Transformation Systems: Label: en
Coalgebraic Modal Logic in CoCasl: Label: en
Reasoning Support for Casl with Automated Theorem Proving Systems: Label: en
On the Algebraization of Many-Sorted Logics: Label: en
SVtL: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts: Label: en
Structured CSP – A Process Algebra as an Institution: Label: en
A (Co)Algebraic Analysis of Synchronization in CSP: Label: en
Autonomous Units and Their Semantics - The Parallel Case: Label: en
Translating a Dependently-Typed Logic to First-Order Logic: Label: en
Declarative Debugging of Rewriting Logic Specifications: Label: en
Term-Generic Logic: Label: en
Heterogeneous Logical Environments for Distributed Specifications: Label: en
A Coalgebraic Characterization of Behaviours in the Linear Time – Branching Time Spectrum: Label: en
A Rewrite Approach for Pattern Containment: Label: en
Property Preserving Refinement for Csp-Casl: Label: en
Transformations of Conditional Rewrite Systems Revisited: Label: en
A Term-Graph Syntax for Algebras over Multisets: Label: en
A Rewriting Logic Approach to Type Inference: Label: en
Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi: Label: en
Graph Transformation with Dependencies for the Specification of Interactive Systems: Label: en
Generalized Theoroidal Institution Comorphisms: Label: en
What Is a Multi-modeling Language?: Label: en
C-semiring Frameworks for Minimum Spanning Tree Problems: Label: en
Tiles for Reo: Label: en
Proving Properties about Functions on Lists Involving Element Tests: Label: en
Compositional Modelling and Reasoning in an Institution for Processes and Data: Label: en
Algebraic Signatures Enriched by Dependency Structure: Label: en
Towards Bialgebraic Semantics for the Linear Time – Branching Time Spectrum: Label: en
Combining Graph Transformation and Algebraic Specification into Model Transformation: Label: en
New Results on Timed Specifications: Label: en
An Institution for Graph Transformation: Label: en
Towards Logical Frameworks in the Heterogeneous Tool Set Hets: Label: en
A Proof Theoretic Interpretation of Model Theoretic Hiding: Label: en
Lambda Expressions in Casl Architectural Specifications: Label: en
Casl-Mdl, Modelling Dynamic Systems with a Formal Foundation and a UML-Like Notation: Label: en
Towards a First-Order Deontic Action Logic: Label: en
A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions: Label: en
Sharing in the Graph Rewriting Calculus: Label: en