Fork Algebras as a Sufficiently Rich Universal Institution

DOI10.1007/11784180_19zbMATH Open1235.03086OpenAlexW1562907065MaRDI QIDQ3623937FDOQ3623937

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

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

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)

Cited In (10)

• Title not available (Why is that?)
• Complete calculi for structured specifications in fork algebra
• Title not available (Why is that?)
• (Heterogeneous) structured specifications in logics without interpolation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Heterogeneous Logical Environments for Distributed Specifications
• Title not available (Why is that?)
• Interpretability of first-order linear temporal logics in fork algebras

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)