-
A Simple Broadcast Algorithm for Recurrent Dynamic Systems
This paper presents a simple broadcast algorithm suited to dynamic systems where links can repeatedly appear and disappear. The algorithm is proved correct and a... -
Noneffective Regularity of Equality Languages and Bounded Delay Morphisms
special issue dedicated to the second edition of the conference AutoMathA: from Mathematics to Applications
