MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Rooted Branching Bisimulation as a Congruence." – sorted by Relevance.

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

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

3 documents found, showing 1 through 3.

ATOM

Rooted branching bisimulation as a congruence
by Wan Fokkink — 2000 — Journal of Computer and System Sciences
…Rooted Branching Bisimulation as a Congruence ∗ Wan Fokkink University of Wales Swansea Department…
Cited by 11 (4 self) – Add To MetaCart

A Complete Axiomatization for Prefix Iteration in Branching Bisimulation
by Wan Fokkink — 1995 — Fundamenta Informaticae
…. Since rooted branching bisimulation is a congruence, this can be verified by checking soundness for each…
Cited by 5 (1 self) – Add To MetaCart

Action Refinement
by Roberto Gorrieri, Arend Rensink, Mura Anteo Zamboni — 2000 — Handbook of Proacess Algebra
… be accommodated in interleaving semantics and strong bisimilarity is still a congruence, although rooted weak…
Cited by 14 (3 self) – Add To MetaCart

Showing 1 through 3.

ATOM

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