MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Congruence for Structural Congruences." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

127 documents found, showing 1 through 10. Next 10 →

ATOM

Congruence for structural congruences
by Mohammadreza Mousavi, Michel Reniers — 2005 — In Proceedings of the 8th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2005, volume 3441 of LNCS
… 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
by Joost Engelfriet, Tjalling Gelsema — 1995 — Theoretical Computer Science
…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
by Fabio Gadducci, Barbara König, Fabio Gadducci, Barbara König — 2006 — In: ICGT ‘06. Volume 4178 of LNCS
… 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 Dirk Pattinson, Martin Wirsing — 2002 — In Proc. First Internat. Symposium on Formal Methods for Components and Objects, FMCO’02
… 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
by Roberto Barbuti, Giulio Caravagna, Paolo Milazzo — 2008 — Int. Workshop From Biology To Concurrency and back (FBTC’07), ENTCS 194
… 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)
by Luis Caires, Luca Cardelli — 2002 — Information and Computation
… 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
by Luís Caires, Hugo Torres Vieira — 2006
… 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
by Andrew D. Gordon, Paul D. Hankin — 1999
… 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
by Luís Caires — 2004
… 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
by unknown authors
… structural congruence and strong bisimulation. We then showthat model-checking is decidable for a useful…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB