Conference
Categorical semantics of parallel program design
Abstract
We formalise, using Category Theory, modularisation techniques for parallel and distributed systems based on the notion of superposition, showing that parallel program design obeys the “universal laws” formulated by Goguen for General Systems Theory, as well as other algebraic properties of modularity formulated for Specification Theory. The resulting categorical formalisation unifies the different notions of superposition that have been …
Authors
Fiadeiro J; Maibaum T
Volume
28
Pagination
pp. 111-138
Publisher
Elsevier
Publication Date
April 1997
DOI
10.1016/s0167-6423(96)00025-1
Conference proceedings
Science of Computer Programming
Issue
2-3
ISSN
0167-6423