Semantics, Orderings and Recursion in the

Download PDF
2 downloads 0 Views 2MB Size Report
Comment
Abstract: An extension of Dijkstra's guarded command language is studied, including se- quential composition, demonic choice and a backtrack operator.