Combining data type and recursive process specifications using projection algebras
- 10 April 1990
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 71 (3) , 347-380
- https://doi.org/10.1016/0304-3975(90)90049-n
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Algebraic specification of modules and their basic interconnectionsJournal of Computer and System Sciences, 1987
- On the algebraic specification of infinite objects — ordered and continuous models of algebraic typesActa Informatica, 1985
- Processes and the denotational semantics of concurrencyInformation and Control, 1982
- A uniform approach to inductive posets and inductive closureTheoretical Computer Science, 1978
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- Completions of partially ordered sets and universal algebrasActa Mathematica Hungarica, 1966