Searching for "Symbolic Bisimulations (Abstract)." – sorted by Relevance.

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

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

2 documents found, showing 1 through 2.

An Algebra of Boolean Processes
by Costas Courcoubetis, Susanne Graf, Joseph Sifakis — In Workshop on Computer-Aided Verification 91, Aalborg. LNCS
… effects. This paper attempts to define the notions of symbolic bisimulation and abstraction…
Cited by 3 (0 self) – Add To MetaCart

Unique Fixpoint Induction for Mobile Processes
by H. Lin — 1995 — In CONCUR'95
… of variable-free abstractions. 2 Symbolic bisimulation is preserved by injective substitutions: Proposition…
Cited by 3 (0 self) – Add To MetaCart

Showing 1 through 2.

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