scientific article; zbMATH DE number 19983

MaRDI QIDQ3979473zbMATH OpenFDO

Authors Virgil Emil Căzănescu, George Andrei Mihǎilǎ

Publication date 26 June 1992

zbMATH Keywords

feedbackflowchart algorithm semanticsordered biflowspartial schemespartially ordered structuressimulation equivalencesymmetric strict monoidal categories

Mathematics Subject Classification ID

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

Cited in

(9)

• A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization
• On schematological equivalence of partially interpreted dataflow networks
• The duality between flow charts and circuits
• scientific article; zbMATH DE number 3917682 (Why is no real title available?)
• scientific article; zbMATH DE number 4094777 (Why is no real title available?)
• scientific article; zbMATH DE number 17528 (Why is no real title available?)
• scientific article; zbMATH DE number 522842 (Why is no real title available?)
• scientific article; zbMATH DE number 4121404 (Why is no real title available?)
• scientific article; zbMATH DE number 4187117 (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 Q3979473)