Non-deterministic data types: models and implementations
- 1 March 1986
- journal article
- Published by Springer Nature in Acta Informatica
- Vol. 22 (6), 629-661
- https://doi.org/10.1007/bf00263649
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- Behavioural equivalence relations induced by programming logicsPublished by Springer Nature ,2006
- On observational equivalence and algebraic specificationLecture Notes in Computer Science, 1985
- Bisimulations and abstraction homomorphismsLecture Notes in Computer Science, 1985
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985
- A kernel language for algebraic specification and implementation extended abstractLecture Notes in Computer Science, 1983
- Partial algebras—survey of a unifying approach towards a two-valued model theory for partial algebrasAlgebra universalis, 1982
- Partial abstract typesActa Informatica, 1982
- A Fixed Point Approach to Applicative MultiprogrammingPublished by Springer Nature ,1982
- On the algebraic specification of nondeterministic programming languagesLecture Notes in Computer Science, 1981
- Computable nondeterministic functionsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1978