Una teoria algebrica per i « guarded commands » di Dijkstra
Rendiconti del Seminario Matematico della Università di Padova, Tome 59 (1978), pp. 269-283.
@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://www.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://www.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://www.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://www.numdam.org/item/RSMUP_1978__59__269_0/

[0] J. Kott, 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] A. Chiarini - A.G.B. Teolis, Mathematical Foundations for Formal Programming, C.N.E.N. RT/EDP (76)2.

[2] R. Righi - A.G.B. Teolis, Program Transformations: D- and BJn-charts, C.N.E.N. RT/EDP (78) 5.

[3] E.W. Dijkstra, A Discipline of Programming, Prentice Hall, 1976. | MR | Zbl

[4] H.F. Ledgard - M. MARCOTTY, A Genealogy of Control Structures, Comm. ACM, 18, no. 11 (1975), pp. 829-639. | Zbl

[5] J.A. Goguen - J.W. Thatcher - E.G. Wagner - J.B. Wright, Initial Algebra Semantics and Continuous Algebras, J. ACM, 24, no. 1 (1977), pp. 68-95. | MR | Zbl