MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Alternating Refinement Relations." – sorted by Relevance.

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

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

5 documents found, showing 1 through 5.

ATOM

Alternating refinement relations
by Rajeev Alur, Thomas A. Henzinger, Orna Kupferman, Moshe Y. Vardi — 1998 — In Proceedings of the Ninth International Conference on Concurrency Theory (CONCUR’98), volume 1466 of LNCS
…Alternating Refinement Relations Rajeev Alur 1 Thomas A. Henzinger 2 Orna Kupferman 2 Moshe Y…
Cited by 62 (11 self) – Add To MetaCart

Three-Valued Abstractions of Games: Uncertainty, but with Precision
by Luca de Alfaro, Patrice Godefroid, Radha Jagadeesan — 2004
… contributions are as follows. We define abstract 3-valued games and an alternating refinement relation…
Cited by 18 (1 self) – Add To MetaCart

Interface Synthesis and Protocol Conversion
by Purandar Bhaduri, S. Ramesh — 2008 — Formal Aspects of Computing
… automata and alternating refinement relations[AHKV98]. Interface automata are a formalism for reasoning…
Add To MetaCart

Synthesis of interface automata
by Purandar Bhaduri — 2005 — In Third International Symposium on Automated Technology for Verification and Analysis (ATVA 2005
… the composition of interface automata and alternating refinement relations[2]. Interface automata are like…
Cited by 2 (2 self) – Add To MetaCart

Total-Correctness Refinement for Sequential Reactive Systems?
by unknown authors
… of environment behaviour by the system is that of alternating refinement relations [3]. This work also uses…
Add To MetaCart

Showing 1 through 5.

ATOM

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