Searching for "Weak Bisimulation and Open Maps." – 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.

Weak Bisimulation and Open Maps
by Marcelo P. Fiore, Marcelo P. Fiore, Marcelo Fiore, Gian Luca Cattani, Gian Luca Cattani, Gian Luca Cattani, Glynn Winskel, Glynn Winskel — 1999
…BRICS RS-99-14 Fiore et al.: Weak Bisimulation and Open Maps BRICS Basic Research in Computer…
Cited by 21 (3 self) – Add To MetaCart

Weak Bisimulation and Open Maps (Extended Abstract)
by Marcelo Fiore, Gian Luca Cattani, Glynn Winskel — 1999
…Weak Bisimulation and Open Maps (Extended Abstract) In Proceedings of LICS '99, c IEEE Computer…
Cited by 4 (4 self) – Add To MetaCart

March 1999. 21 pp. Appears in Mendelzon, editor,
by Eighth International World, Klaus Havelund, Kim G. Larsen, Arne Skou, Formal Verification, Rune B. Lyngs, Christian N. S. Pedersen, Henrik Nielsen Measures, Julian C. Bradfield, Perdita Stevens, Observational Mu-calculus, Sibylle B. Frschle, Thomas Troels Hildebr, T On Plain
… Winskel. Weak Bisimulation and Open Maps. May 1999. 22 pp. Appears in Longo, editor, Fourteenth Annual…
Add To MetaCart

Showing 1 through 3.

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