Declarative Models of Concurrent Cyclic Processes - Grzegorz Bocewicz - Häftad | Bokus