Compositional Modelling and Reasoning in an Institution for Processes and Data

First Author: O'Reilly L

Attributed to: Processes and Data funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-642-28412-0_16

Publication URI: http://dx.doi.org/10.1007/978-3-642-28412-0_16

Type: Book Chapter

Book Title: Recent Trends in Algebraic Development Techniques (2012)

Page Reference: 251-269

ISBN: 978-3-642-28411-3