scientific article; zbMATH DE number 4014009

MaRDI QIDQ3026323zbMATH OpenFDO

Authors Miklós Bartha

Publication date 1987

zbMATH Keywords

algebraic and iteration theoriesflowchart schemesmany-sorted algebras

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• An equational axiomatization of systolic systems
• Axiomatizing schemes and their behaviors
• scientific article; zbMATH DE number 4157896
• scientific article; zbMATH DE number 4201627
• Algebraic semantics of recursive flowchart schemes

Cited in

(14)

• An equational axiomatization of systolic systems
• 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
• Axiomatizing schemes and their behaviors
• Equational properties of fixed point operations in Cartesian categories: an overview
• Algebraic semantics of recursive flowchart schemes
• scientific article; zbMATH DE number 4201627 (Why is no real title available?)
• scientific article; zbMATH DE number 3928354 (Why is no real title available?)
• scientific article; zbMATH DE number 3956410 (Why is no real title available?)
• scientific article; zbMATH DE number 3581614 (Why is no real title available?)
• Equational properties of fixed-point operations in Cartesian categories: an overview
• The many-worlds calculus

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3026323)