eprintid: 143
rev_number: 18
eprint_status: archive
userid: 30
dir: disk0/00/00/01/43
datestamp: 2011-03-31 10:44:27
lastmod: 2016-07-13 09:46:04
status_changed: 2011-03-31 10:44:27
type: book_section
metadata_visibility: show
item_issues_count: 0
creators_name: Gadducci, Fabio
creators_name: Lluch-Lafuente, Alberto
creators_name: Vandin, Andrea
creators_id: 
creators_id: alberto.lluch@imtlucca.it
creators_id: andrea.vandin@imtlucca.it
title: Counterpart semantics for a second-order mu-calculus
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
keywords: Quantified μ-calculi, counterpart semantics, graph
transformation.
note: © Springer-Verlag Berlin Heidelberg 2010. The final publication is available at www.springerlink.com.
abstract: 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. 
date: 2010
date_type: published
series: Lecture Notes in Computer Science
volume: 6372
publisher: Springer
pagerange: 282-297
id_number: 10.1007/978-3-642-15928-2_19
refereed: TRUE
isbn: 978-3-642-15927-5
book_title: Graph Transformations (ICGT 2010)
editors_name: Ehrig, Hartmut
editors_name: Rensink, Arend
editors_name: Rozenberg, Grzegorz
editors_name: Schürr, Andy
official_url: http://dx.doi.org/10.1007/978-3-642-15928-2_19
funders: Supported by the MIUR Project SisteR.
citation:   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)  
document_url: http://eprints.imtlucca.it/143/1/gaducci_lluch-lafuente_vandin2010a.pdf