From Action Systems to Distributed Systems: The Refinement Approach by Luigia Petre Back to product details page >