MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Beyond Bisimulation The "up-to" Techniques." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 409,923 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Up-to Techniques for Weak Bisimulation  
  • by Damien Pous, Ens Lyon — 2005 — In Proceedings of International Colloquium on Automata, Languages and Programming (ICALP 2005), volume 3580 of LNCS
  • …Up-to Techniques for Weak Bisimulation Damien Pous ENS Lyon Abstract. Up-to techniques have been…
  • Cited by 4 (2 self) – Add To MetaCart
  • Techniques of "weak Bisimulation Up to"  
  • by Davide Sangiorgi Robin, Robin Milner — 1992
  • … but still capable of providing us with a sound up-to technique for . Almost-weak bisimulation is not very…
  • Add To MetaCart
  • System Up-to-date  
  • by Giuliano Antoniol, Jane Huffman, Hayes Yann-gaël, Guéhéneuc Massimiliano Penta
  • … System Up-to-date Giuliano Antoniol Jane Huffman Hayes Yann-Gaël Guéhéneuc Massimiliano di Penta Dépt. de…
  • Add To MetaCart
  • Keeping You Up-to-Date  
  • by Two New Volumes, Stephen R. Anderson, Shigeru Miyagawa — 1989
  • …Keeping you up-to-date Two new volumes coming this year! Syntax and Semantics Volumes 22…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB