Searching for "Modal Logics for Mobile Processes." – sorted by Relevance.
-
Modal logics for mobile processes
- Modal Logics for Mobile Processes Robin Milner, Joachim Parrow y and David Walker z Abstract
- Cited by 91 (4 self) – Add To MetaCart
-
Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes
- Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes Martin Berger
- Add To MetaCart
-
Universita degli Studi di Pisa
- of the π-calculus semantics and different modal logics for mobile processes. In [17] no fixpoint operator
- Add To MetaCart
-
Tuesday 7. Sept
- : modal logics for mobile ambients We describe a modal logic for mobile processes, based on the ambient
- Add To MetaCart
-
Mobile Processes: a Commented Bibliography
- ) 137161 26. Robin Milner, Joachim Parrow, David Walker: Modal Logics for Mobile Processes. Theoretical
- Cited by 3 (0 self) – Add To MetaCart

