Tiling Transactions in Rewriting Logic
Roberto L. Bruni, José Meseguer, Ugo Montanari · Electronic Notes in Theoretical Computer Science · 2004
We propose a modular high-level approach to the specification of transactions in rewriting logic, where the operational and the abstract views are related by suitable adjunctions between categories of tile theories and of rewrite theories.