An algebra of modular systems: static and dynamic perspectives

DOI10.1007/978-3-030-29007-8_6MaRDI QIDQ2180219zbMATH OpenOpenAlexFDO

Authors Eugenia Ternovska

Publication date 13 May 2020

Full work available at URL https://doi.org/10.1007/978-3-030-29007-8_6

Mathematics Subject Classification ID

Logic in computer science (03B70) Applications of universal algebra in computer science (08A70) Database theory (68P15) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1617303
• Module algebra
• scientific article; zbMATH DE number 3956412
• Abstract and behaviour module specifications
• Modular specification of process algebras

Cited in

(13)

• A language for linking modules into systems
• Toward an algebraic theory of systems
• Semiring programming: a semantic framework for generalized sum product problems
• scientific article; zbMATH DE number 1617303 (Why is no real title available?)
• Module algebra
• scientific article; zbMATH DE number 517001 (Why is no real title available?)
• scientific article; zbMATH DE number 578220 (Why is no real title available?)
• Propagators and Solvers for the Algebra of Modular Systems
• scientific article; zbMATH DE number 1418359 (Why is no real title available?)
• Inputs, Outputs, and Composition in the Logic of Information Flows
• Executable first-order queries in the logic of information flows
• Preservation theorems for Tarski's relation algebra
• Input-output disjointness for forward expressions in the logic of information flows

This page was built for publication: An algebra of modular systems: static and dynamic perspectives

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2180219)