44 citations · 44 across the 4 of their papers we have counts for
4 papers
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…
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…
Actions and Events in Concurrent Systems Design
Valentin Cassano, Thomas S. E. Maibaum
In this work, having in mind the construction of concurrent systems from components, we discuss the difference between actions and events. For this discussion, we propose an(other)…
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…