No Cover Image

Conference Paper/Proceeding/Abstract 797 views

Compositional Modelling and Reasoning in an Institution for Processes and Data

Liam O’Reilly, Till Mossakowski, Markus Roggenbach Orcid Logo, Liam O'Reilly Orcid Logo

Recent Trends in Algebraic Development Techniques, Volume: 7137, Pages: 251 - 269

Swansea University Authors: Markus Roggenbach Orcid Logo, Liam O'Reilly Orcid Logo

Full text not available from this repository: check for access using links below.

Published in: Recent Trends in Algebraic Development Techniques
ISSN: 0302-9743 1611-3349
Published: Heidelberg Springer 2012
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa8087
Tags: Add Tag
No Tags, Be the first to tag this record!
College: College of Science
Start Page: 251
End Page: 269