Exceptions and interrupts in CSP

DOI10.1016/0167-6423(83)90010-2zbMath0514.68031OpenAlexW2095144640MaRDI QIDQ1051417

Trevor I. Dix

Publication date: 1983

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

Full work available at URL: https://doi.org/10.1016/0167-6423(83)90010-2

zbMATH Keywords

operational semanticsasynchronous exceptions and interruptspreemptive commandsprocess priority

Mathematics Subject Classification ID

Theory of operating systems (68N25)

This page was built for publication: Exceptions and interrupts in CSP