Categorical semantics of parallel program design

DOI10.1016/S0167-6423(96)00025-1zbMath0877.68080OpenAlexW2162034401MaRDI QIDQ1356941

José Luiz Fiadeiro, Thomas S. E. Maibaum

Publication date: 8 December 1997

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0167-6423(96)00025-1

zbMATH Keywords

modularitysystem designreusabilityincrementalitymodularisation techniques

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Theory of software (68N99)

Related Items

A basic algebra of stateless connectors ⋮ Services and Contracts: Coalgebraically ⋮ A Connector Algebra for P/T Nets Interactions ⋮ On what exactly goes on when software is developed step-by-step. II: The sequel ⋮ Interactive verification of architectural design patterns in FACTum