Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes and Their Relationship (Lecture Notes in Computer Science)

by Job Zwiers

Paperback

ISBN: 978-0-387-50845-0

ISBN-10: 0-387-50845-7

See also:
2008	Taschenbuch	Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes, and Their Relationship (Lecture Notes in Computer Science, Band 321)