Modal logic and process algebra
a bisimulation perspective
Bibliographic details
Additional authors
Maarten de Rijke Yde Venema
Related catalogue records
Tools and Environments for parallel and Distributed Computing
edited by Salim Hariri Manish Parashar
Computer architecture and parallel processing
Hwang, Kai
Introduction to parallel computing
Grama, Ananth
Highly parallel computing
Almasi, George S.
Fundamentals of parallel processing
Jordan, Harry F.
An introduction to distributed and parallel computing
Crichlow, Joel M.
Introduction to parallel computing
Ananth Grama ... [et al.]
Parallel systems in the data warehouse
Morse, Stephen