Compositional Modelling and Reasoning in an Institution for Processes and Data

First Author: O'Reilly L
Attributed to:  Processes and Data funded by EPSRC


No abstract provided

Bibliographic Information

Digital Object Identifier:

Publication URI:

Type: Book Chapter

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

Page Reference: 251-269

ISBN: 978-3-642-28411-3