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
This paper proposes the development of a logic for verifying properties of programs in rewriting log...
This paper is an initial step in the development of a logic for verifying properties of programs in ...
This paper is an initial step in the development of a logic for verifying properties of programs in ...
We propose a modular high-level approach to the specification of transactions in rewriting logic, wh...
We propose a modular high-level approach to the specification of transactions in rewriting logic, wh...
AbstractWe propose a modular high-level approach to the specification of transactions in rewriting l...
AbstractTile logic extends rewriting logic, taking into account rewriting with side-effects and rewr...
The large diffusion of concurrent and distributed systems has spawned in recent years a variety of n...
. 1 Introduction Mapping Tile Logic into Rewriting Logic meseguer@csl.sri.com ugo@di.unipi.it Jos&...
Tile logic extends rewriting logic, taking into account rewriting with side-effects and rewriting sy...
AbstractThe large diffusion of concurrent and distributed systems has spawned in recent years a vari...
AbstractTile logic is a framework to reason about the dynamic evolution of concurrent systems in a m...
Tile logic extends rewriting logic, taking into account rewriting with side-effects and rewriting sy...
. Tile logic extends rewriting logic by taking into account sideeffects and rewriting synchronizatio...
This paper proposes the development of a logic for verifying properties of programs in rewriting log...
This paper proposes the development of a logic for verifying properties of programs in rewriting log...
This paper is an initial step in the development of a logic for verifying properties of programs in ...
This paper is an initial step in the development of a logic for verifying properties of programs in ...
We propose a modular high-level approach to the specification of transactions in rewriting logic, wh...
We propose a modular high-level approach to the specification of transactions in rewriting logic, wh...
AbstractWe propose a modular high-level approach to the specification of transactions in rewriting l...
AbstractTile logic extends rewriting logic, taking into account rewriting with side-effects and rewr...
The large diffusion of concurrent and distributed systems has spawned in recent years a variety of n...
. 1 Introduction Mapping Tile Logic into Rewriting Logic meseguer@csl.sri.com ugo@di.unipi.it Jos&...
Tile logic extends rewriting logic, taking into account rewriting with side-effects and rewriting sy...
AbstractThe large diffusion of concurrent and distributed systems has spawned in recent years a vari...
AbstractTile logic is a framework to reason about the dynamic evolution of concurrent systems in a m...
Tile logic extends rewriting logic, taking into account rewriting with side-effects and rewriting sy...
. Tile logic extends rewriting logic by taking into account sideeffects and rewriting synchronizatio...
This paper proposes the development of a logic for verifying properties of programs in rewriting log...
This paper proposes the development of a logic for verifying properties of programs in rewriting log...
This paper is an initial step in the development of a logic for verifying properties of programs in ...
This paper is an initial step in the development of a logic for verifying properties of programs in ...
DOI
Add to ORKG