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 #101 to #150.

Bisimilarity of Distributionally Equivalent Markov Transition Systems: Label: en
Separation Logic for Multiple Inheritance: Label: en
Separation Logic Semantics for Communicating Processes: Label: en
Declaring Numbers: Label: en
A New Proposal for Debugging Datalog Programs: Label: en
Declarative Debugging Meets the World: Label: en
Inferring Static Non-monotone Size-aware Types Through Testing: Label: en
Computational Origami Construction as Constraint Solving and Rewriting: Label: en
a-Logic With Arrows: Label: en
Alloy as a Refactoring Checker?: Label: en
General Refinement, Part Two: Flexible Refinement: Label: en
General Refinement, Part One: Interfaces, Determinism and Special Refinement: Label: en
More Relational Concurrent Refinement: Traces and Partial Relations: Label: en
Experimenting Formal Proofs of Petri Nets Refinements: Label: en
Linking Event-B and Concurrent Object-Oriented Programs: Label: en
Refinement-Based Verification of Interactive Real-Time Systems: Label: en
Observational Refinement Process: Label: en
Modal Tools for Separation and Refinement: Label: en
An Algebraic Approach to Refinement with Fair Choice: Label: en
Completeness of ASM Refinement: Label: en
Simulation Refinement for Concurrency Verification: Label: en
An Algorithm for Approximating the Satisfiability Problem of High-level Conditions: Label: en
Behavior-Preserving Simulation-to-Animation Model and Rule Transformations: Label: en
Modelling Dynamic Software Architectures using Typed Graph Grammars: Label: en
Towards a Systematic Method for Proving Termination of Graph Transformation Systems: Label: en
A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams: Label: en
The York Abstract Machine: Label: en
Towards Verifying Model Transformations: Label: en
Translation of Restricted OCL Constraints into Graph Constraints for Generating Meta Model Instances by Graph Grammars: Label: en
Graph Transformation Semantics for a QVT Language: Label: en
Towards a Notion of Transaction in Graph Rewriting: Label: en
Exploiting User-definable Synchronizations in Graph Transformation: Label: en
Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs: Label: en
Containment in Rule-Based Models: Label: en
Model Decomposition and Stochastic Fragments: Label: en
Static Analysis of Boolean Networks Based on Interaction Graphs: A Survey: Label: en
Tropical Geometries and Dynamics of Biochemical Networks Application to Hybrid Cell Cycle Models: Label: en
Formal Cellular Machinery: Label: en
Quantitative Model Refinement as a Solution to the Combinatorial Size Explosion of Biomodels: Label: en
Towards Abstraction-Based Verification of Shape Calculus: Label: en
Control Flow Analysis of Generalised Boolean Networks: Label: en
A Framework for Modelling and Simulating Networks of Cells: Label: en
Programming in Biomolecular Computation: Label: en
Fragments-based Model Reduction: Some Case Studies: Label: en
Modular Verification of Interactive Systems with an Application to Biology: Label: en
Relating PDEs in Cylindrical Coordinates and CTMCs with Levels of Concentration: Label: en
Process Algebra with Hooks for Models of Pattern Formation: Label: en
Bone Remodelling in BioShape: Label: en
A Model and Analysis of the AKAP Scaffold: Label: en
Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation: Label: en