Categorical semantics of parallel program design
JL Fiadeiro, T Maibaum - Science of Computer Programming, 1997 - Elsevier
We formalise, using Category Theory, modularisation techniques for parallel and distributed
systems based on the notion of superposition, showing that parallel program design obeys …
systems based on the notion of superposition, showing that parallel program design obeys …
[PDF][PDF] CATEGORICAL SEMANTICS OF PARALLEL PROGRAM DESIGN
JL Fiadeiro, T Maibaum - academia.edu
We formalise, using Category Theory, modularisation techniques for parallel and distributed
systems based on the notion of superposition, showing that parallel program design obeys …
systems based on the notion of superposition, showing that parallel program design obeys …
Categorical semantics of parallel program design
JL Fiadeiro, T Maibaum - Science of Computer …, 1997 - discovery.dundee.ac.uk
Abstract We formalise, using Category Theory, modularisation techniques for parallel and
distributed systems based on the notion of superposition, showing that parallel program …
distributed systems based on the notion of superposition, showing that parallel program …
[PDF][PDF] CATEGORICAL SEMANTICS OF PARALLEL PROGRAM DESIGN
JL Fiadeiro, T Maibaum - researchgate.net
We formalise, using Category Theory, modularisation techniques for parallel and distributed
systems based on the notion of superposition, showing that parallel program design obeys …
systems based on the notion of superposition, showing that parallel program design obeys …
[PDF][PDF] CATEGORICAL SEMANTICS OF PARALLEL PROGRAM DESIGN
JL Fiadeiro, T Maibaum - Citeseer
We formalise, using Category Theory, modularisation techniques for parallel and distributed
systems based on the notion of superposition, showing that parallel program design obeys …
systems based on the notion of superposition, showing that parallel program design obeys …
[引用][C] Categorical semantics of parallel program design
JL Fiadeiro, T Maibaum - Science of Computer Programming, 1997 - dl.acm.org
Categorical semantics of parallel program design | Science of Computer Programming skip to
main content ACM Digital Library home ACM home Google, Inc. (search) Advanced Search …
main content ACM Digital Library home ACM home Google, Inc. (search) Advanced Search …
Categorical semantics of parallel program design
JL Fiadeiro, T Maibaum - Science of Computer Programming, 1997 - infona.pl
We formalise, using Category Theory, modularisation techniques for parallel and distributed
systems based on the notion of superposition, showing that parallel program design obeys …
systems based on the notion of superposition, showing that parallel program design obeys …