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...

Full description

Bibliographic Details

Published in:	Information sciences Vol. 574; pp. 111 - 132
Main Authors:	Cicerone, Serafino, Di Stefano, Gabriele, Navarra, Alfredo
Format:	Journal Article
Language:	English
Published:	Elsevier Inc 01.10.2021
Subjects:	Asynchrony Distributed algorithms Mobile entities Pattern formation Pattern formation 68Q25 Mobile entities Asynchrony 68W15 Distributed algorithms 68Q10
ISSN:	0020-0255, 1872-6291
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!