Guarded Command Language (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Guarded Command Language" in English language version.

refsWebsite

Global rank English rank

916^th place

706^th place

1web.archive.org

1^st place

1^st place

low place

low place

887^th place

714^th place

abo.fi

crest.abo.fi

Back, Ralph J (1978). "On the Correctness of Refinement Steps in Program Development (Phd-Thesis)" (PDF). Archived from the original (PDF) on 2011-07-20.

caltech.edu

resolver.caltech.edu

Martin, Alain J. "Synthesis of Asynchronous VLSI Circuits".

utexas.edu

cs.utexas.edu

Dijkstra, Edsger W. "EWD472: Guarded commands, non-determinacy and formal. derivation of programs" (PDF). Retrieved August 16, 2006.

web.archive.org

Back, Ralph J (1978). "On the Correctness of Refinement Steps in Program Development (Phd-Thesis)" (PDF). Archived from the original (PDF) on 2011-07-20.