Books
1 results found| Title | Authors | Description | OpenBook ID | |
|---|---|---|---|---|
|
Modal and Temporal Properties of Processes | 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 concurrent … | OL19888542W |