Categorical semantics of parallel program design
From MaRDI portal
Publication:1356941
DOI10.1016/S0167-6423(96)00025-1zbMath0877.68080MaRDI QIDQ1356941
José Luiz Fiadeiro, Thomas S. E. Maibaum
Publication date: 8 December 1997
Published in: Science of Computer Programming (Search for Journal in Brave)
Related Items
Services and Contracts: Coalgebraically, A basic algebra of stateless connectors, On what exactly goes on when software is developed step-by-step. II: The sequel, Interactive verification of architectural design patterns in FACTum, A Connector Algebra for P/T Nets Interactions