relation: http://eprints.imtlucca.it/143/
title: Counterpart semantics for a second-order mu-calculus
creator: Gadducci, Fabio
creator: Lluch-Lafuente, Alberto
creator: Vandin, Andrea
subject: QA75 Electronic computers. Computer science
description: 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. 
publisher: Springer
contributor: Ehrig, Hartmut
contributor: Rensink, Arend
contributor: Rozenberg, Grzegorz
contributor: Schürr, Andy
date: 2010
type: Book Section
type: PeerReviewed
format: application/pdf
language: en
identifier: http://eprints.imtlucca.it/143/1/gaducci_lluch-lafuente_vandin2010a.pdf
identifier:   Gadducci, Fabio and Lluch-Lafuente, Alberto and Vandin, Andrea  Counterpart semantics for a second-order mu-calculus.   In:  Graph Transformations (ICGT 2010).   Lecture Notes in Computer Science, 6372 .  Springer, pp. 282-297.  ISBN 978-3-642-15927-5      (2010)  
relation: http://dx.doi.org/10.1007/978-3-642-15928-2_19
relation: 10.1007/978-3-642-15928-2_19