Revision as of 23:10, 23 November 2005 edit Dfletter (talk \| contribs) Extended confirmed users 644 edits No edit summary ← Previous edit		Revision as of 11:45, 9 March 2006 edit undo Malcohol (talk \| contribs) Extended confirmed users 1,174 edits m →References: Other author of "Refinement Calculus" book Next edit →
Line 25: * [[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 Back]] ~~''et~~and ~~al''~~Joakim von Wright, ''Refinement Calculus: A Systematic Introduction'', 1st edition, 1998. ISBN 0-387-98417-8. * Edsger W. Dijkstra. ''A Discipline of Programming'' (A systematic introduction with examples). ISBN 0-613-92411-8.

Predicate transformer semantics: Difference between revisions