Fork Algebras as a Sufficiently Rich Universal Institution

DOI10.1007/11784180_19MaRDI QIDQ3623937zbMATH OpenOpenAlexFDO

Authors Carlos 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

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

Recommendations

• scientific article; zbMATH DE number 1086629
• scientific article; zbMATH DE number 1136646
• scientific article; zbMATH DE number 1801371
• A Finite Axiomatization for Fork Algebras
• On finite and infinite fork algebras and their relational reducts

Cited in

(10)

• scientific article; zbMATH DE number 1801371 (Why is no real title available?)
• scientific article; zbMATH DE number 1136646 (Why is no real title available?)
• scientific article; zbMATH DE number 1303460 (Why is no real title available?)
• scientific article; zbMATH DE number 4123707 (Why is no real title available?)
• scientific article; zbMATH DE number 859798 (Why is no real title available?)
• Interpretability of first-order linear temporal logics in fork algebras
• scientific article; zbMATH DE number 1036759 (Why is no real title available?)
• (Heterogeneous) structured specifications in logics without interpolation
• Heterogeneous Logical Environments for Distributed Specifications
• Complete calculi for structured specifications in fork algebra

This page was built for publication: Fork Algebras as a Sufficiently Rich Universal Institution

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