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

Relationship

von Job Zwiers

Taschenbuch

ISBN-13: 978-3-540-50845-8

ISBN-10: 3-540-50845-7

Springer · 2008

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