You are about to access our book library "Declarative Models of Concurrent Cyclic Processes (Studies in Systems, Decision and Control Book 438) full version" .