TY - JOUR
T1 - Tiling transactions in rewriting logic
AU - Bruni, Roberto
AU - Meseguer, José
AU - Montanari, Ugo
N1 - Funding Information:
Research supported by IST-2001-32747 Project agile, by the Italian MIUR Project cometa, and by ONR Grant N00014-02-1-0715. The first author is also supported by an Italian cnr fellowship for research on Information Sciences and Technologies, and by the CS Department of the University of Illinois at Urbana-Champaign. 1 Email: {bruni,ugo}@di.unipi.it 2 Email: [email protected]
PY - 2004/4
Y1 - 2004/4
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=19044382194&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=19044382194&partnerID=8YFLogxK
U2 - 10.1016/S1571-0661(05)82530-7
DO - 10.1016/S1571-0661(05)82530-7
M3 - Conference article
AN - SCOPUS:19044382194
SN - 1571-0661
VL - 71
SP - 90
EP - 109
JO - Electronic Notes in Theoretical Computer Science
JF - Electronic Notes in Theoretical Computer Science
T2 - WRLA 2002, Rewriting Logic and it's Applications
Y2 - 19 September 2002 through 21 September 2002
ER -