Applications of process algebra /
Baeten, J. C. M.
Cambridge : Cambridge University Press,
2004.
Originally published: 1990.
Includes bibliographical references and indexes.
Machine theory.
Parallel processing (Electronic computers)
Computer science
Computer network protocols.
Axiomatic set theory.