Strategy based semantics for mobility with time and access permissions

Gabriel Ciobanu, Maciej Koutny, L. Jason Steggles. Strategy based semantics for mobility with time and access permissions. Formal Asp. Comput., 27(3):525-549, 2015. [doi]

Abstract

Abstract is missing.