Mobility Control Via Passports

DOI10.1007/978-3-540-74407-8_24zbMath1151.68534OpenAlexW75044300MaRDI QIDQ3525648

Samuel Hym

Publication date: 18 September 2008

Published in: CONCUR 2007 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74407-8_24

zbMATH Keywords

observational equivalenceprocess calculusdistributed computationcontrol of agent migrations

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Mobility control via passports

This page was built for publication: Mobility Control Via Passports