Concurrency verification : introduction to compositional and noncompositional methods /
Roever, W.-P. de.
Cambridge : Cambridge University Press,
2001.
Includes bibliographical references and index.
Parallel processing (Electronic computers)
Computer software