Title: Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems, Author: Howard Bowman
Title: Applications of Process Algebra, Author: J. C. M. Baeten

Pagination Links