Fork Algebras as a Sufficiently Rich Universal Institution

DOI10.1007/11784180_19zbMath1235.03086OpenAlexW1562907065MaRDI QIDQ3623937

Carlos G. López Pombo, Marcelo F. Frias

Publication date: 28 April 2009

Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11784180_19

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items

Heterogeneous Logical Environments for Distributed Specifications