scientific article; zbMATH DE number 4157896

zbMATH Open0705.68071MaRDI QIDQ3485876FDOQ3485876

Authors Virgil Emil Căzănescu, Gh. Ştefănescu

Publication date 1990

zbMATH Keywords

feedbackflowchart schemessymmetric strict monoidal categorybiflowaxiomatic looping operationflownomial expressions

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 4100594
• scientific article; zbMATH DE number 4201627
• Axiomatizing schemes and their behaviors
• scientific article; zbMATH DE number 4187117
• scientific article; zbMATH DE number 3956410

Cited in

(31)

• Classes of finite relations as initial abstract data types. I
• scientific article; zbMATH DE number 4201627 (Why is no real title available?)
• scientific article; zbMATH DE number 4094777 (Why is no real title available?)
• scientific article; zbMATH DE number 4113973 (Why is no real title available?)
• scientific article; zbMATH DE number 4121404 (Why is no real title available?)
• Equational properties of fixed-point operations in Cartesian categories: an overview
• A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization
• The duality between flow charts and circuits
• scientific article; zbMATH DE number 3917682 (Why is no real title available?)
• Axiomatizing schemes and their behaviors
• Comparing logics for rewriting: Rewriting logic, action calculi and tile logic
• scientific article; zbMATH DE number 17528 (Why is no real title available?)
• Some quasi-varieties of iteration theories
• scientific article; zbMATH DE number 3928354 (Why is no real title available?)
• Equational properties of fixed point operations in Cartesian categories: an overview
• Algebraic characterization of reducible flowcharts
• Normal forms for algebras of connections.
• scientific article; zbMATH DE number 4187117 (Why is no real title available?)
• Processes with multiple entries and exits
• The equational logic of fixed points
• A structural and nominal syntax for diagrams
• The algebra of stream processing functions
• A basic algebra of stateless connectors
• Algebraic semantics of recursive flowchart schemes
• Dynamic connectors for concurrency
• On flowchart theories. II: The nondeterministic case
• An equational axiomatization of systolic systems
• Rewriting on cyclic structures: Equivalence between the operational and the categorical description
• scientific article; zbMATH DE number 3956410 (Why is no real title available?)
• scientific article; zbMATH DE number 4100594 (Why is no real title available?)
• scientific article; zbMATH DE number 4014009 (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 Q3485876)