ISBN-13: 9780443189128 / Angielski / Miękka / 2023 / 404 str.
1. Introduction 2. Semantics and Logic for True Concurrency 3. A Calculus for True Concurrency 4. Algebraic Laws for True Concurrency 5. A Calculus for Truly Concurrent Mobile Processes 6. Guards 7. Timing
Czytaj nas na: