Tiling transactions in rewriting logic

Roberto Bruni, José Meseguer, Ugo Montanari

Research output: Contribution to journalConference article

Abstract

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.

Original languageEnglish (US)
Pages (from-to)90-109
Number of pages20
JournalElectronic Notes in Theoretical Computer Science
Volume71
DOIs
StatePublished - Apr 2004
Externally publishedYes
EventWRLA 2002, Rewriting Logic and it's Applications - Pisa, Italy
Duration: Sep 19 2002Sep 21 2002

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Tiling transactions in rewriting logic'. Together they form a unique fingerprint.

  • Cite this