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

modulesreliabilityatomicitydistributed datanode failuresremote procedure callatomic actionsconcurrent accessfault- toleranceintegrated programming languagelinguistic constructsnested atomic actions

Mathematics Subject Classification ID

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

Cited in

(9)

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