An algebra of modular systems: static and dynamic perspectives

DOI10.1007/978-3-030-29007-8_6zbMath1435.68203OpenAlexW2969458456MaRDI QIDQ2180219

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

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

Related Items (2)

Inputs, Outputs, and Composition in the Logic of Information Flows ⋮ Semiring programming: a semantic framework for generalized sum product problems

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