scientific article; zbMATH DE number 4014009

zbMATH Open0624.68022MaRDI QIDQ3026323FDOQ3026323

Authors: Miklós Bartha 

Publication date: 1987

Title of this publication is not available (Why is that?)

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

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)

Cited In (13)

• Equational properties of fixed point operations in Cartesian categories: an overview
• Axiomatizing schemes and their behaviors
• Title not available (Why is that?)
• Classes of finite relations as initial abstract data types. I
• Equational properties of fixed-point operations in Cartesian categories: an overview
• Title not available (Why is that?)
• Algebraic semantics of recursive flowchart schemes
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)

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)