MPC
2015
Springer
8 years 7 months ago
2015
Springer
In this paper we use a duality result between equations and coequations for automata, proved by Ballester-Bolinches, Cosme-Ll´opez, and Rutten to characterize nonempty classes of ...
MPC
2015
Springer
8 years 7 months ago
2015
Springer
Rely-Guarantee reasoning is a well-known method for verification of shared-variable concurrent programs. However, it is difficult for users to define rely/guarantee conditions, ...
MPC
2015
Springer
8 years 7 months ago
2015
Springer
The correspondence between up-closed multirelations and isotone predicate transformers is well known. Less known is that multirelations have also been used for modelling topologica...
MPC
2015
Springer
8 years 7 months ago
2015
Springer
Abstract. Bidirectional transformations (bx) support principled consistency maintenance among data sources. Each data source corresponds to one perspective on a composite system, m...