@inproceedings{392876ad80934756829ba218cda92c41,

title = "Consistent correlations for parameterised Boolean equation systems with applications in correctness proofs for manipulations",

abstract = "We introduce the concept of consistent correlations for parameterised Boolean equation systems (PBESs), motivated largely by the laborious proofs of correctness required for most manipulations in this setting. Consistent correlations focus on relating the equations that occur in PBESs, rather than their solutions. For a fragment of PBESs, consistent correlations are shown to coincide with a recently introduced form of bisimulation. Finally, we show that bisimilarity on processes induces consistent correlations on PBESs encoding model checking problems. We apply our theory to two example manipulations from the literature.",

author = "T.A.C. Willemse",

year = "2010",

doi = "10.1007/978-3-642-15375-4_40",

language = "English",

isbn = "978-3-642-15374-7",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "584--598",

editor = "P. Gastin and F. Laroussinie",

booktitle = "CONCUR 2010 - Concurrency Theory (21st International Conference, Paris, France, August 31-September 3, 2010. Proceedings)",

address = "Germany",

}