Categorical semantics of parallel program design
- 30 April 1997
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 28 (2-3) , 111-138
- https://doi.org/10.1016/s0167-6423(96)00025-1
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- On the Modularization Theorem for logical specificationsInformation Processing Letters, 1995
- A superimposition control construct for distributed systemsACM Transactions on Programming Languages and Systems, 1993
- Sheaf semantics for concurrent interacting objectsMathematical Structures in Computer Science, 1992
- Temporal theories as modularisation units for concurrent system specificationFormal Aspects of Computing, 1992
- Institutions: abstract model theory for specification and programmingJournal of the ACM, 1992
- A categorical manifestoMathematical Structures in Computer Science, 1991
- Module algebraJournal of the ACM, 1990
- Distributed cooperation with action systemsACM Transactions on Programming Languages and Systems, 1988
- Extensional equivalences for transition systemsActa Informatica, 1987