Guardians and Actions: Linguistic Support for Robust, Distributed Programs

DOI10.1145/2166.357215MaRDI QIDQ3657424zbMATH OpenOpenAlexFDO

Authors Barbara H. Liskov, Robert Scheifler

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/2166.357215

zbMATH Keywords

atomic actionsatomicityconcurrent accessdistributed datafault- toleranceintegrated programming languagelinguistic constructsmodulesnested atomic actionsnode failuresreliabilityremote procedure call

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)

Cited in

(9)

• A recovery technique for distributed communicating process systems
• A technique for constructing highly available services
• Introduction to the theory of nested transactions
• Concurrency and atomicity
• Transaction synchronisation in object bases
• The impact of recovery on concurrency control
• Dynamic state restoration using versioning exceptions
• Verifying atomic data types
• Algebraic specification of concurrent systems

This page was built for publication: Guardians and Actions: Linguistic Support for Robust, Distributed Programs

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