No Cover Image

Book chapter 241 views

Compositional Modelling and Reasoning in an Institution for Processes and Data

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

Recent Trends in Algebraic Development Techniques, Volume: 7137

Swansea University Author: 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
ISBN: 978-3-642-28411-3 978-3-642-28412-0
ISSN: 0302-9743 1611-3349
Published: 2012
Online Access: Check full text

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