A denotational semantics for shared-memory parallelism and nondeterminism
- 1 March 1985
- journal article
- Published by Springer Nature in Acta Informatica
- Vol. 21 (6), 599-627
- https://doi.org/10.1007/bf00289713
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Denotational semantics of concurrencyPublished by Association for Computing Machinery (ACM) ,1982
- A linear history semantics for distributed languages extended abstractPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1980
- The Denotational Description of Programming LanguagesPublished by Springer Nature ,1979
- A Powerdomain ConstructionSIAM Journal on Computing, 1976
- The denotational semantics of programming languagesCommunications of the ACM, 1976
- Revised report on the algorithmic language ALGOL 68Acta Informatica, 1975
- The Vienna Definition LanguageACM Computing Surveys, 1972
- Proving algorithms by tail functionsInformation and Control, 1971
- The correctness of a modified SECD machinePublished by Association for Computing Machinery (ACM) ,1970
- Three Computer Cultures: Computer Technology, Computer Mathematics, and Computer SciencePublished by Elsevier ,1970