scientific article
From MaRDI portal
Publication:3930617
zbMath0475.68002MaRDI QIDQ3930617
Calvin C. Elgot, John C. Shepherdson
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
Related Items
An equational axiomatization of systolic systems ⋮ In memoriam Calvin C. Elgot ⋮ Classes of finite relations as initial abstract data types. I ⋮ An algebraic model of synchronous systems ⋮ Foundations of a theory of synchronous systems ⋮ Axiomatizing schemes and their behaviors ⋮ Calvin C. Elgot (1922-1980) ⋮ Algebraic characterization of reducible flowcharts
