TY  - CHAP
N1  - © Springer-Verlag Berlin Heidelberg 2010. The final publication is available at www.springerlink.com.
ID  - eprints143
T2  - Graph Transformations (ICGT 2010)
EP  - 297
SN  - 978-3-642-15927-5
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. 
M1  - 6372
AV  - public
TI  - Counterpart semantics for a second-order mu-calculus
KW  - Quantified ?-calculi
KW  -  counterpart semantics
KW  -  graph
transformation.
UR  - http://dx.doi.org/10.1007/978-3-642-15928-2_19
ED  - Ehrig, Hartmut
ED  - Rensink, Arend
ED  - Rozenberg, Grzegorz
ED  - Schürr, Andy
A1  - Gadducci, Fabio
A1  - Lluch-Lafuente, Alberto
A1  - Vandin, Andrea
PB  - Springer
SP  - 282
T3  - Lecture Notes in Computer Science
Y1  - 2010///
ER  -