A view on implementing processes: Categories of circuits
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 237-254
- https://doi.org/10.1007/3-540-61629-2_46
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- An approach to object semantics based on terminal co-algebrasMathematical Structures in Computer Science, 1995
- Strong categorical datatypes II: A term logic for categorical programmingTheoretical Computer Science, 1995
- Defining equations in terminal coalgebrasPublished by Springer Nature ,1995
- Handbook of Categorical AlgebraPublished by Cambridge University Press (CUP) ,1994
- SProc CategoricallyPublished by Springer Nature ,1994
- Modal and Temporal LogicsPublished by Oxford University Press (OUP) ,1992
- Simply Connected LimitsCanadian Journal of Mathematics, 1990
- Bicategories of spans and relationsJournal of Pure and Applied Algebra, 1984