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: ![]()
![]()
![]()
![]()
![]()
![]()
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
07-09-2026 06:00:55
Gesponsert
SpringerLink DE
Compositionality, Concurrency, and Partial Correctness
SpringerLink DE
07-09-2026 11:13:13
