Parameterized data type and process specifications using projection algebras
- 1 January 1989
- book chapter
- Published by Springer Nature
- p. 185-197
- https://doi.org/10.1007/3-540-51722-7_11
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- The construct PRO of projection spaces: its internal structurePublished by Springer Nature ,1989
- Fundamentals of Algebraic Specification 1Published by Springer Nature ,1985
- Petri NetsPublished 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
- Categories for the Working MathematicianPublished by Springer Nature ,1971