44 citations · 44 across the 3 of their papers we have counts for
3 papers
cs.LO2021
A proof theoretic basis for relational semantics
Carlos G. Lopez Pombo, Thomas S. E. Maibaum
Logic has proved essential for formally modeling software based systems. Such formal descriptions, frequently called specifications, have served not only as requirements documentat…
cs.LO2020
On the construction of explosive relation algebras
Carlos G. Lopez Pombo, Marcelo F. Frias, Thomas S. E. Maibaum
Fork algebras are an extension of relation algebras obtained by extending the set of logical symbols with a binary operator called fork. This class of algebras was introduced by Ha…
cs.SE2012★ 44 cited
Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond
Zinovy Diskin, Tom Maibaum
There is a hidden intrigue in the title. CT is one of the most abstract mathematical disciplines, sometimes nicknamed "abstract nonsense". MDE is a recent trend in software develop…