<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Counterpart semantics for a second-order mu-calculus"^^ . "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. "^^ . "2010" . . "6372" . . "Springer"^^ . . "Springer"^^ . . . . . . . . . . . . . . . . . . . . . . . . . . "Andy"^^ . "Schürr"^^ . "Andy Schürr"^^ . . "Andrea"^^ . "Vandin"^^ . "Andrea Vandin"^^ . . "Fabio"^^ . "Gadducci"^^ . "Fabio Gadducci"^^ . . "Arend"^^ . "Rensink"^^ . "Arend Rensink"^^ . . "Hartmut"^^ . "Ehrig"^^ . "Hartmut Ehrig"^^ . . "Grzegorz"^^ . "Rozenberg"^^ . "Grzegorz Rozenberg"^^ . . "Alberto"^^ . "Lluch-Lafuente"^^ . "Alberto Lluch-Lafuente"^^ . . . . . . "Counterpart semantics for a second-order mu-calculus (PDF)"^^ . . . . . . . . . . . "gaducci_lluch-lafuente_vandin2010a.pdf"^^ . . . "Counterpart semantics for a second-order mu-calculus (Image (JPEG))"^^ . . . . . . "preview.jpg"^^ . . . "Counterpart semantics for a second-order mu-calculus (Indexer Terms)"^^ . . . . . . "indexcodes.txt"^^ . . "HTML Summary of #143 \n\nCounterpart semantics for a second-order mu-calculus\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .