scientific article
From MaRDI portal
Publication:3485876
zbMath0705.68071MaRDI QIDQ3485876
Gheorghe Ştefănescu, Virgil Emil Căzănescu
Publication date: 1990
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
feedbackflowchart schemessymmetric strict monoidal categorybiflowaxiomatic looping operationflownomial expressions
Related Items (14)
Some quasi-varieties of iteration theories ⋮ Processes with multiple entries and exits ⋮ A basic algebra of stateless connectors ⋮ Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview ⋮ The equational logic of fixed points ⋮ Unnamed Item ⋮ Equational properties of fixed-point operations in cartesian categories: An overview ⋮ Classes of finite relations as initial abstract data types. I ⋮ A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization ⋮ The algebra of stream processing functions ⋮ Rewriting on cyclic structures: Equivalence between the operational and the categorical description ⋮ Normal forms for algebras of connections. ⋮ Dynamic connectors for concurrency ⋮ Comparing logics for rewriting: Rewriting logic, action calculi and tile logic
This page was built for publication: