Searching for "Congruence for Structural Congruences." – sorted by Relevance.
-
Congruence for structural congruences
- Congruence for Structural Congruences MohammadReza Mousavi and Michel Reniers Department
- Cited by 6 (3 self) – Add To MetaCart
-
Multisets and Structural Congruence of the pi-Calculus with Replication
- Multisets and Structural Congruence of the pi-Calculus with Replication Joost Engelfriet
- Cited by 8 (4 self) – Add To MetaCart
-
Process Bisimulation via a Graphical Encoding
- to the usual structural congruence. Graphs with interfaces are amenable to the synthesis mechanism based
- Cited by 5 (2 self) – Add To MetaCart
-
Making Components Move: A Separation of Concerns Approach
- by the following rules :P ! P P ! P 0 P k Q ! P 0 k Q ; modulo structural congruence , given
- Cited by 3 (2 self) – Add To MetaCart
-
An Intermediate Language for the Simulation of Biological Systems
- define a structural congruence relation on terms to express the associativity
- Cited by 3 (3 self) – Add To MetaCart
-
A Spatial Logic for Concurrency (Part I)
- and structural congruence. As usual, -congruence is the congruence that identi es processes up to the safe
- Cited by 105 (8 self) – Add To MetaCart
-
Extensionality of Spatial Observations in Distributed Systems (Draft
- here is generally interpreted up to 1 structural congruence, and thus structural congruence seems
- Cited by 2 (1 self) – Add To MetaCart
-
A Concurrent Object Calculus: Reduction and Typing
- 30 A.1 Facts about Structural Congruence . . . . . . . . . . . . . . . 30 A.2 Proof of Proposition 1
- Cited by 72 (4 self) – Add To MetaCart
-
Behavioral and Spatial Observations in a Logic for the π-Calculus
- structural congruence and strong bisimulation. We then show that model-checking is decidable for a useful
- Cited by 9 (0 self) – Add To MetaCart
-
Behavioral and Spatial Observationsin a Logic for the p-Calculus
- structural congruence and strong bisimulation. We then showthat model-checking is decidable for a useful
- Add To MetaCart

