Access-Right Expressions

DOI10.1145/357195.357201zbMath0498.68006OpenAlexW2004153926MaRDI QIDQ3963998

Richard B. Kieburtz, Abraham Silberschatz

Publication date: 1983

Published in: ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/357195.357201

zbMATH Keywords

verificationreliabilityprogramming languageabstract data typesmonitorsresource managers

Mathematics Subject Classification ID

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

This page was built for publication: Access-Right Expressions