TY - GEN

T1 - Counterpart semantics for a secondorder mu-calculus

AU - Gadducci, Fabio

AU - Lluch Lafuente, Alberto

AU - Vandin, Andrea

PY - 2010

Y1 - 2010

N2 - We propose a novel approach to the semantics of quantified μ-calculi, considering models where states are algebras; the evolution relation is given by a counterpart relation (a family of partial homomorphisms), allowing for the creation, deletion, and merging of components; and formulas are interpreted over sets of state assignments (families of substitutions, associating formula variables to state components). Our proposal avoids the limitations of existing approaches, usually enforcing restrictions of the evolution relation: the resulting semantics is a streamlined and intuitively appealing one, yet it is general enough to cover most of the alternative proposals we are aware of.

AB - We propose a novel approach to the semantics of quantified μ-calculi, considering models where states are algebras; the evolution relation is given by a counterpart relation (a family of partial homomorphisms), allowing for the creation, deletion, and merging of components; and formulas are interpreted over sets of state assignments (families of substitutions, associating formula variables to state components). Our proposal avoids the limitations of existing approaches, usually enforcing restrictions of the evolution relation: the resulting semantics is a streamlined and intuitively appealing one, yet it is general enough to cover most of the alternative proposals we are aware of.

U2 - 10.1007/978-3-642-15928-2_19

DO - 10.1007/978-3-642-15928-2_19

M3 - Article in proceedings

SN - 978-3-642-15927-5

T3 - Lecture Notes in Computer Science

SP - 282

EP - 297

BT - Graph Transformations

PB - Springer Berlin Heidelberg

T2 - 5th International Conference on Graph Transformation

Y2 - 27 September 2010 through 2 October 2010

ER -