Concurrent and Real-Time Programming in Ada

Compositional Verification of Concurrent and Real-Time Systems, Hardcover by ...

Juan - Compositional Verification of Concurrent and Real-Time Systems - X555z

Neural and Concurrent Real-Time Systems : The 6th Generation by Branko Soucek..

Concurrent and Real-Time Systems : The CSP Approach Paperback Ste

Software Design Methods for Concurrent and Real-Time Systems

Concurrent and Real-Time Systems : The Csp Approach, Paperback by Schneider, ...