Logo eprints

Counterpart semantics for a second-order mu-calculus

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)

PDF - Draft Version
Download (242kB) | Preview


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.

Item Type: Book Section
Identification Number: 10.1007/978-3-642-15928-2_19
Additional Information: © Springer-Verlag Berlin Heidelberg 2010. The final publication is available at www.springerlink.com.
Funders: Supported by the MIUR Project SisteR.
Uncontrolled Keywords: Quantified μ-calculi, counterpart semantics, graph transformation.
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Users 30 not found.
Date Deposited: 31 Mar 2011 10:44
Last Modified: 13 Jul 2016 09:46
URI: http://eprints.imtlucca.it/id/eprint/143

Actions (login required)

Edit Item Edit Item