Cover Image
Read Now

1
Published 1979
Springer Berlin Heidelberg
Table of Contents: “...On the abstract specification and formal analysis of synchronization properties of concurrent...”
Cover Image
Read Now

2
Published 1984
Springer Berlin Heidelberg
Table of Contents: “... of nondeterministic programs -- For statements with restricted enumerations -- A method for developing concurrent...”