Journal article
Strategy based semantics for mobility with time and access permissions
Abstract
The process algebras Timed Mobility (TiMo) and its extension Permissions, Timers and Mobility (PerTiMo) were recently proposed to support engineering applications in distributed system design. TiMo provides a formal framework in which process migration between distinct locations and timing constraints linked to local clocks can be modelled and analysed. This is extended in PerTiMo by associating access permissions to communication to model …
Authors
Ciobanu G; Koutny M; Steggles J
Journal
Formal Aspects of Computing, Vol. 27, No. 3, pp. 525–549
Publisher
Association for Computing Machinery (ACM)
Publication Date
May 2015
DOI
10.1007/s00165-014-0324-9
ISSN
0934-5043