MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Modal Logics for Mobile Processes." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 5 documents found, showing 1 through 5.
ATOM RSS
  • Modal logics for mobile processes  
  • by Robin Milner, Joachim Parrow Y, David Walker Z — 1993 — Theoretical Computer Science
  • …Modal Logics for Mobile Processes Robin Milner, Joachim Parrow y and David Walker z Abstract…
  • Cited by 91 (4 self) – Add To MetaCart
  • Universita degli Studi di Pisa  
  • by Facolta Di Scienze, Tesi Di Laurea Specialistica, Vincenzo Ciancia, Relatore Controrelatore, Prof Ugo, Montanari Prof, Andrea Maggiolo Schettini
  • … of the π-calculus semantics and different modal logics for mobile processes. In [17] no fixpoint operator…
  • Add To MetaCart
  • Tuesday 7. Sept  
  • by Topic Verification Methods
  • …: modal logics for mobile ambients We describe a modal logic for mobile processes, based on the ambient…
  • Add To MetaCart
Help! Showing 1 through 5.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB