Declarative Models of Concurrent Cyclic Processes - Bocewicz, Grzegorz (Cham Springer International Publishing AG, 2023)