2004-11-19 15:00:39 +01:00
|
|
|
This module implements a deterministic, rectifying variant on Dijkstra's
|
|
|
|
guarded commands. Each named step is passed two blocks: an "ensure"
|
|
|
|
block that defines a test for a necessary and sufficient condition of
|
|
|
|
the step, and a "using" block that will cause that condition to obtain.
|
|
|
|
|
2005-09-21 21:31:43 +02:00
|
|
|
WWW: http://search.cpan.org/dist/Commands-Guarded/
|