Revision as of 23:40, 31 January 2005 edit Jdinolt (talk \| contribs) 32 edits No edit summary		Revision as of 23:41, 31 January 2005 edit undo Jdinolt (talk \| contribs) 32 edits m Fixed some minor punctuation errors Next edit →
Line 22: * Edsger W. Dijkstra. "Guarded commands, nondeterminacy and formal derivation of programs". ''Communications of the [[Association for Computing Machinery\|ACM]]'', 18(8):453-457, August 1975. [http://doi.acm.org/10.1145/360933.360975] * Leslie Lamport. "''win'' and ''sin'': Predicate Transformers for Concurrency". ''[[Association for Computing Machinery\|ACM]] Transactions on Programming Languages and Systems'', 12(3), (July 1990). [http://research.microsoft.com/users/lamport/pubs/pubs.html#lamport-win] * Ralph-Johan J. Back et al. "Refinement Calculus: A Systematic Introduction, 1st edition". 1998. ISBN 0-387-98417-8

Predicate transformer semantics: Difference between revisions