Algebraic Semantics of Imperative - Hardcover, by Goguen Joseph A.; - Good

Algebraic Semantics of Imperative Programs (Foundations of Computing) (FOUND...

Detecting Nondeterminism in Shared Memory Parallel Programs (Classic Reprint)

Comparative Metric Semantics of Programming Languages Nondeterminism Recursion

Detecting Nondeterminism in Shared Memory Parallel Programs by Dinning, Anne,...

Nondeterminism in Algebraic Specifications and Algebraic Programs

Nondeterminism in Algebraic Specifications and Algebraic Programs by Hussmann (E