MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Symbolic Bisimulation in the Spi Calculus." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 2 documents found, showing 1 through 2.
ATOM RSS
  • On bisimulations for the spi calculus  
  • by Johannes Borgström, Sébastien Briais, Uwe Nestmann — 2004 — In 9th International Conference on Algebraic Methodology and Software Technology
  • …Symbolic Bisimulation in the Spi Calculus ⋆ Johannes Borgström, Sébastien Briais, and Uwe Nestmann…
  • Cited by 17 (3 self) – Add To MetaCart
  • Symbolic bisimulation for the applied pi-calculus  
  • by Stéphanie Delaune, Steve Kremer, Mark D. Ryan — 2007 — In Proc. 27th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS’07), volume 4855 of Lecture Notes in Computer Science
  • … et al. [10] define a sound symbolic bisimulation for the spi calculus. In this paper we propose a…
  • Cited by 1 (1 self) – Add To MetaCart
Help! Showing 1 through 2.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB