Concurrent and real time systems the CSP approach - Schneider, S. A. (Steve A.) (Worldwide series in computer science, 2000)