Message-based functional operating systems

DOI10.1016/0167-6423(86)90028-6zbMath0585.68021OpenAlexW2077988951MaRDI QIDQ1070816

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

message passingfunctional languageoperating systemsnondeterministic programs

Mathematics Subject Classification ID

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

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