Asynchronous Muddy Children Puzzle (work in progress)

Trufaș, Dafina; Teodorescu, Ioan; Diaconescu, Denisa; Șerbănuță, Traian; Zamfir, Vlad

Asynchronous Muddy Children Puzzle (work in progress)

Dafina Trufaș
(University of Bucharest)

Ioan Teodorescu
(University of Bucharest)

Denisa Diaconescu
(University of Bucharest)

Traian Șerbănuță
(University of Bucharest)

Vlad Zamfir
(independent researcher)

In this work-in-progress paper we explore using the recently introduced VLSM formalism to define and reason about the dynamics of agent-based systems. To this aim we use VLSMs to formally present several possible approaches to modeling the interactions in the Muddy Children Puzzle as protocols that reach consensus asynchronously.

In Horaţiu Cheval, Laurenţiu Leuştean and Andrei Sipoş: Proceedings 7th Symposium on Working Formal Methods (FROM 2023), Bucharest, Romania, 21-22 September 2023, Electronic Proceedings in Theoretical Computer Science 389, pp. 152–166.
Published: 22nd September 2023.

ArXived at: https://dx.doi.org/10.4204/EPTCS.389.13	bibtex	PDF

References in reconstructed bibtex, XML and HTML format (approximated).

Comments and questions to:

eptcs@eptcs.org

For website issues:

webmaster@eptcs.org