Algebraic data type and process specifications based on projection spaces
- 1 January 1988
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Algebraic specification of modules and their basic interconnectionsJournal of Computer and System Sciences, 1987
- Continuous Abstract Data TypesFundamenta Informaticae, 1986
- Fundamentals of Algebraic Specification 1Published by Springer Nature ,1985
- On the Algebraic Specification of DomainsPublished by Springer Nature ,1985
- Processes and the denotational semantics of concurrencyInformation and Control, 1982
- Denotational semantics of concurrencyPublished by Association for Computing Machinery (ACM) ,1982
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980
- 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