Una teoria algebrica per i guarded commands di Dijkstra

zbMath0456.68027MaRDI QIDQ1151022

Giorgio Casadei, Antonio G. B. Teolis, Roberto Righi

Publication date: 1978

Published in: Rendiconti del Seminario Matematico della Università di Padova (Search for Journal in Brave)

Full work available at URL: http://www.numdam.org/item?id=RSMUP_1978__59__269_0

zbMATH Keywords

Dijkstra's guarded commands

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Cites Work

• Unnamed Item
• Unnamed Item
• A genealogy of control structures
• Initial Algebra Semantics and Continuous Algebras

This page was built for publication: Una teoria algebrica per i guarded commands di Dijkstra