Concurrent and real time systems: the CSP approach by Schneider, S. A., (Steve A.) fromWorldwide series in computer science 0 Type: Book
