A structured methodology for designing distributed algorithms for mobile entities

Following the wide investigation in distributed computing issues by mobile entities of the last two decades, we consider the need of a structured methodology to tackle the arisen problems. The aim is to simplify both the design of the resolution algorithms and the writing of the required correctness...

Celý popis

Podrobná bibliografia

Vydané v:	Information sciences Ročník 574; s. 111 - 132
Hlavní autori:	Cicerone, Serafino, Di Stefano, Gabriele, Navarra, Alfredo
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Elsevier Inc 01.10.2021
Predmet:	Asynchrony Distributed algorithms Mobile entities Pattern formation Pattern formation 68Q25 Mobile entities Asynchrony 68W15 Distributed algorithms 68Q10
ISSN:	0020-0255, 1872-6291
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!