by Colin Stirling
This is an introductory book on the modal and temporal properties of processes. In a clear and well-organized treatment the book provides an introduction to: -process calculi for modeling concurren…