Solving reflexive domain equations in a category of complete metric spaces
- 31 December 1989
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 39 (3) , 343-375
- https://doi.org/10.1016/0022-0000(89)90027-5
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Denotational semantics of a parallel object-oriented languageInformation and Computation, 1989
- The Category-Theoretic Solution of Recursive Domain EquationsSIAM Journal on Computing, 1982
- Processes and the denotational semantics of concurrencyInformation and Control, 1982