scientific article; zbMATH DE number 168435

zbMATH Open0772.08004MaRDI QIDQ4036178FDOQ4036178

Authors: Virgil Emil Căzănescu, Rodica Ceterchi 

Publication date: 16 May 1993

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

Recommendations

• scientific article; zbMATH DE number 4187117
• Feedback, trace and fixed-point semantics
• Bicategories of processes
• On Categories of Monoids, Comonoids, and Bimonoids
• scientific article; zbMATH DE number 742725

zbMATH Keywords

congruencesstrict monoidal categoriesmonoidal closed categoriesbiflowsfeedback operationalgebraization of flowchart schemes

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Applications of universal algebra in computer science (08A70)

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 Q4036178)