Transaction Logic with Partially Defined Actions

J. Data Semantics, pp. 99-131, 2012.

Cited by: 7|Bibtex|Views12|DOI:https://doi.org/10.1007/s13740-012-0007-8
EI
Other Links: dblp.uni-trier.de|academic.microsoft.com|link.springer.com

Abstract:

In this paper we develop a novel logic formalism, \({\mathcal{T} \, \mathcal{R}^{PAD}}\) (Transaction Logic with Partially Defined Actions), designed for reasoning about the effects of complex actions. \({\mathcal{T} \, \mathcal{R}^{PAD}}\) is based on a subset of Transaction Logic, but extends it with a new kind of formulas, called premi...More

Code:

Data:

Your rating :
0

 

Tags
Comments