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]
@article{CiobanuKS15,
title = {Strategy based semantics for mobility with time and access permissions},
author = {Gabriel Ciobanu and Maciej Koutny and L. Jason Steggles},
year = {2015},
doi = {10.1007/s00165-014-0324-9},
url = {http://dx.doi.org/10.1007/s00165-014-0324-9},
researchr = {https://researchr.org/publication/CiobanuKS15},
cites = {0},
citedby = {0},
journal = {Formal Asp. Comput.},
volume = {27},
number = {3},
pages = {525-549},
}