MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Bisimulation and Effectiveness." – 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

Bisimulation Of Context-Free Grammars And Of Pushdown Automata
by Didier Caucal — 1995 — CSLI Lecture Notes
… by the greatest bisimulation. Another consequence is that this greatest bisimulation is an effective Thue…
Cited by 14 (1 self) – Add To MetaCart

Linear Forwarders
by Philippa Gardner, Cosimo Laneve, Lucian Wischik — 2003 — in: Proceedings of CONCUR 2003, LNCS 2761 (2003
….1 to apply to barbed congruence rather than just labelled bisimulation. Effectively, it implies that a non…
Cited by 11 (5 self) – Add To MetaCart

Rijke. Zooming in, zooming out
by Patrick Blackburn, Maarten De Rijke — 1996 — Journal of Logic, Language and Information
… to be able to zoom out to exploit the bisimulation effectively. To axiomatize validity on bisimilar trios you…
Cited by 11 (1 self) – Add To MetaCart

Showing 1 through 3.

ATOM

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