Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes, and Their Relationship
Ein umfassendes Lehrbuch, das die Wechselwirkung von Kompositionsprinzipien und Nebenläufigkeit in formalen Beweistheorien untersucht und zeigt, wie diese Konzepte Teilkorrektheit in Prozessnetzwerken sichern.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
preigu.de
Gesponsert
Medimops DE
Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes, and Their Relationship (Lecture Notes in Computer Science, 321, Band 321)
Medimops DE
26-07-2026 11:38:13
Gesponsert
SpringerLink DE
Compositionality, Concurrency, and Partial Correctness
SpringerLink DE
27-07-2026 10:08:23
