Concurrent and real-time systems : the CSP approach
- Chichester: John Wiley & Sons, 2000
- xv, 510 p.; : 23 cm.
- Worldwide series in computer science .
0471623733 (pbk)
Parallel processing Real-time data processing Multitasking Sequential processes Timed transition systems Concurrency Semantics of timed CSP