@article{RSMUP_1978__59__269_0, author = {Casadei, Giorgio and Righi, Roberto and Teolis, Antonio G. B.}, title = {Una teoria algebrica per i {\guillemotleft} guarded commands {\guillemotright} di {Dijkstra}}, journal = {Rendiconti del Seminario Matematico della Universit\`a di Padova}, pages = {269--283}, publisher = {Seminario Matematico of the University of Padua}, volume = {59}, year = {1978}, mrnumber = {547092}, zbl = {0456.68027}, language = {it}, url = {http://archive.numdam.org/item/RSMUP_1978__59__269_0/} }
TY - JOUR AU - Casadei, Giorgio AU - Righi, Roberto AU - Teolis, Antonio G. B. TI - Una teoria algebrica per i « guarded commands » di Dijkstra JO - Rendiconti del Seminario Matematico della Università di Padova PY - 1978 SP - 269 EP - 283 VL - 59 PB - Seminario Matematico of the University of Padua UR - http://archive.numdam.org/item/RSMUP_1978__59__269_0/ LA - it ID - RSMUP_1978__59__269_0 ER -
%0 Journal Article %A Casadei, Giorgio %A Righi, Roberto %A Teolis, Antonio G. B. %T Una teoria algebrica per i « guarded commands » di Dijkstra %J Rendiconti del Seminario Matematico della Università di Padova %D 1978 %P 269-283 %V 59 %I Seminario Matematico of the University of Padua %U http://archive.numdam.org/item/RSMUP_1978__59__269_0/ %G it %F RSMUP_1978__59__269_0
Casadei, Giorgio; Righi, Roberto; Teolis, Antonio G. B. Una teoria algebrica per i « guarded commands » di Dijkstra. Rendiconti del Seminario Matematico della Università di Padova, Tome 59 (1978), pp. 269-283. http://archive.numdam.org/item/RSMUP_1978__59__269_0/
[0] Remarque sur la structure des schemes de programmes, in Automata Languages and Programming, M. NIVAT (ed.), North Holland Pub. Co., Amsterdam (1972), pp. 265-271. | MR | Zbl
,[1] Mathematical Foundations for Formal Programming, C.N.E.N. RT/EDP (76)2.
- ,[2] Program Transformations: D- and BJn-charts, C.N.E.N. RT/EDP (78) 5.
- ,[3] A Discipline of Programming, Prentice Hall, 1976. | MR | Zbl
,[4] M. MARCOTTY, A Genealogy of Control Structures, Comm. ACM, 18, no. 11 (1975), pp. 829-639. | Zbl
-[5] Initial Algebra Semantics and Continuous Algebras, J. ACM, 24, no. 1 (1977), pp. 68-95. | MR | Zbl
- - - ,