Declarative Models of Concurrent Cyclic Processes by Grzegorz Bocewicz Back to product details page >
