| By presenting untimed and timed languages through their operational semantics, this book provides readers with a good intuitive understanding of the language. An elementary introduction to Communicating Sequential Processes (CSP) and its use as a formal method of concurrency is also provided. An accompanying Web site contains solutions to exercises and a teaching manual. |
