Partial abstract types
- 1 January 1982
- journal article
- Published by Springer Nature in Acta Informatica
- Vol. 18 (1), 47-64
- https://doi.org/10.1007/bf00625280
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- A term model for CCSPublished by Springer Nature ,2005
- On the power of algebraic specificationsLecture Notes in Computer Science, 1981
- On the algebraic extensions of abstract data typesLecture Notes in Computer Science, 1981
- On the algebraic specification of nondeterministic programming languagesLecture Notes in Computer Science, 1981
- Algorithmische Sprache und ProgrammentwicklungPublished by Springer Nature ,1981
- Transformational semantics for concurrent programsInformation Processing Letters, 1980
- Terminal algebra semantics and retractions for abstract data typesLecture Notes in Computer Science, 1980
- On observing nondeterminism and concurrencyLecture Notes in Computer Science, 1980
- Parameterized data types in algebraic specification languagesLecture Notes in Computer Science, 1980
- Observability concepts in abstract data type specificationLecture Notes in Computer Science, 1976