scientific article
From MaRDI portal
Publication:3026323
zbMath0624.68022MaRDI QIDQ3026323
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
An equational axiomatization of systolic systems, Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview, Equational properties of fixed-point operations in cartesian categories: An overview, Classes of finite relations as initial abstract data types. I, An algebraic model of synchronous systems, A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization, Foundations of a theory of synchronous systems
