Compositional modelling and reasoning in an institution for processes and data

@inproceedings{pub6647,
    author = {

O'Reilly, Liam
 and 

Mossakowski, Till
 and 

Roggenbach, Markus
},
    editor = {

Mossakowski, Till
 and 

Kreowski, Hans-Jörg
},
    title = {Compositional modelling and reasoning in an institution for processes and data},
    booktitle = {Recent Trends in Algebraic Development Techniques. International Workshop on Algebraic Development Techniques (WADT-10), 20th, July 1-4, Etelsen, Germany},
    series = {Lecture Notes in Computer Science (LNCS)},
    year = {2012},
    volume = {7137},
    pages = {251--269},
    publisher = {Springer}
}