PerTiMo: A Model of Spatial Migration with Safe Access Permissions

We introduce a process algebra with processes able to migrate between different explicit locations of a distributed environment defined by a number of distinct locations. We use timing constraints over local clocks to control migration and communication, together with local maximal concurrency in th...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Computer journal 2015-05, Vol.58 (5), p.1041-1060
Hauptverfasser:	Ciobanu, G., Koutny, M.
Format:	Artikel
Sprache:	eng
Schlagworte:	Access control Algebra Information processing Information sharing Mathematical models Safety management
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!