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 specificationPublished by Springer Nature ,1985
- Bisimulations and abstraction homomorphismsPublished by Springer Nature ,1985
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985
- A kernel language for algebraic specification and implementation extended abstractPublished by Springer Nature ,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 languagesPublished by Springer Nature ,1981
- Computable nondeterministic functionsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1978