1.
Concurrency verification. Cambridge: Cambridge University press; 2024.
Concurrency verification. Cambridge : Cambridge University press, 15 juin 2024. ISBN 0-521-80608-9
(2001). Concurrency verification: Introduction to compositional and noncompositional methods. Cambridge University press.
MLA (8th ed.) CitationConcurrency Verification: Introduction to Compositional and Noncompositional Methods. Cambridge University press, 2001.
Warning: These citations may not always be 100% accurate.