scientific article; zbMATH DE number 4014009

MaRDI QIDQ3026323zbMATH OpenFDO

Authors Miklós Bartha

Publication date 1987

zbMATH Keywords

many-sorted algebrasflowchart schemesalgebraic and iteration theories

Mathematics Subject Classification ID

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

Recommendations

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

Cited in

(13)

• Equational properties of fixed point operations in Cartesian categories: an overview
• Axiomatizing schemes and their behaviors
• Classes of finite relations as initial abstract data types. I
• scientific article; zbMATH DE number 3581614 (Why is no real title available?)
• Equational properties of fixed-point operations in Cartesian categories: an overview
• scientific article; zbMATH DE number 3956410 (Why is no real title available?)
• Algebraic semantics of recursive flowchart schemes
• scientific article; zbMATH DE number 4201627 (Why is no real title available?)
• Foundations of a theory of synchronous systems
• An algebraic model of synchronous systems
• An equational axiomatization of systolic systems
• A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization
• scientific article; zbMATH DE number 3928354 (Why is no real title available?)

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)