MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Interacting Abstract State Machines." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 3 documents found, showing 1 through 3.
ATOM RSS
  • PERSISTENT QUERIES  
  • by Andreas Blass, Yuri Gurevich
  • … for interactive abstract state machines to deal with the following situation. A query is issued during a certain…
  • Add To MetaCart
  • An ASM-Based Approach for Mobile Systems  
  • by Marcelo De Almeida Maia, Roberto Da Silva Bigonha
  • … in the context of ASM, namely the Interactive Abstract State Machines (IASM). Our approach provides special…
  • Add To MetaCart
  • R.: Time-bounded task-PIOAs: A framework for analyzing security protocols  
  • by Ran Canetti, Ling Cheung, Dilsun Kaynar, Moses Liskov, Nancy Lynch, Olivier Pereira, Roberto Segala — 2006 — Proceedings the 20th International Symposium on Distributed Computing (DISC 2006). Volume 4167 of LNCS., Springer (2006) 238–253 Invited Paper
  • … protocol. 1 Introduction Interacting abstract state machine modeling frameworks such as I/O Automata…
  • Cited by 5 (3 self) – Add To MetaCart
Help! Showing 1 through 3.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB