Message-based functional operating systems

DOI10.1016/0167-6423(86)90028-6MaRDI QIDQ1070816zbMATH OpenOpenAlexFDO

Authors William Stoye

Publication date 1986

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0167-6423(86)90028-6

zbMATH Keywords

functional languagemessage passingnondeterministic programsoperating systems

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of operating systems (68N25) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 3997137
• Nondeterminism with Referential Transparency in Functional Programming Languages
• A theory for nondeterminism, parallelism, communication, and concurrency
• Verification: Theory and Practice
• scientific article; zbMATH DE number 3878329

Cited in

(2)

• Nondeterminism with Referential Transparency in Functional Programming Languages
• scientific article; zbMATH DE number 3997137 (Why is no real title available?)

This page was built for publication: Message-based functional operating systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1070816)