Counterpart semantics for a secondorder mu-calculus

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

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.
Original languageEnglish
Title of host publicationGraph Transformations : 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings
PublisherSpringer Berlin Heidelberg
Publication date2010
Pages282-297
ISBN (Print)978-3-642-15927-5
ISBN (Electronic)978-3-642-15928-2
DOIs
Publication statusPublished - 2010
Externally publishedYes
Event5th International Conference on Graph Transformation - Enschede, Netherlands
Duration: 27 Sep 20102 Oct 2010

Conference

Conference5th International Conference on Graph Transformation
CountryNetherlands
CityEnschede
Period27/09/201002/10/2010
SeriesLecture Notes in Computer Science
Volume6372
ISSN0302-9743

Cite this

Gadducci, F., Lluch Lafuente, A., & Vandin, A. (2010). Counterpart semantics for a secondorder mu-calculus. In Graph Transformations: 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings (pp. 282-297). Springer Berlin Heidelberg. Lecture Notes in Computer Science, Vol.. 6372 https://doi.org/10.1007/978-3-642-15928-2_19