Compositional modelling and reasoning in an institution for processes and data
WADT 2010, volume 7137 of Lecture Notes in Computer Science, page 251-269. Springer, (2012)Abstract
The language CspCASL combines specifications of data and processes. We
give an institution based semantics to CspCASL that allows us to re-use
the institution independent structuring mechanisms of
CASL. Furthermore, we extend CspCASL with a notion of refinement that
reconciles the differing philosophies behind the refinement notions
for CSP and CASL. We develop a compositional proof calculus for
refinement along the CASL structuring mechanisms, and demonstrate
that compositional proof techniques along parallel process
composition from the context of CSP lifts to structured CspCASL
specifications.