##
###
Enforcing QVT-R with mu-Calculus and Games
[chapter]

Julian Bradfield, Perdita Stevens

2013
*
Lecture Notes in Computer Science
*

In previous work, we gave a precise *game*-theoretic semantics for *the* checkonly semantics *of* QVT-R transformations, including *the* recursive invocation *of* relations which is allowed and used, but not defined ...
In this paper, we take up *the* problem *of* enforce semantics, where *the* standard attempts formality, but at crucial points lapses into English. ...
*The* first author is partly supported by UK EPSRC grant EP/G012962/1 'Solving *Parity* *Games* and *Mu*-Calculi'. ...

doi:10.1007/978-3-642-37057-1_21
fatcat:wgnqawchfrgf5clxllmraf6mty