Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes, and Their Relationship (Lecture Notes in Computer Science, 321, Band 321)
Ein anspruchsvolles Werk, das die mathematische Struktur von Prozessnetzwerken beleuchtet, indem es die Wechselwirkung zwischen Komposition, Paralleli ...