Title: Declarative Models of Concurrent Cyclic Processes