Cover Image
Read Now

1
by Bloom, Stephen L., Esik, Zoltan
Published 1993
Springer Berlin Heidelberg
Table of Contents: “... Synchronization Trees -- 4 Bisimilarity -- 5 Notes -- 14 Floyd-Hoare Logic -- 1 Guards -- 2 Partial Correctness...”
Cover Image
Read Now

2
by Elgot, Calvin C.
Published 1982
Springer New York
Table of Contents: “... -- [31] The Common Algebraic Structure of Exit-Automata and Machines -- [34] Monadic Computation...”