Revision as of 18:59, 1 February 2005 edit Jdinolt (talk \| contribs) 32 edits m small clarification in example ← Previous edit		Revision as of 19:03, 1 February 2005 edit undo Jdinolt (talk \| contribs) 32 edits m correction to reference 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