Guardians and Actions: Linguistic Support for Robust, Distributed Programs

DOI10.1145/2166.357215zbMath0512.68027OpenAlexW2009712165MaRDI QIDQ3657424

Barbara 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

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

Related Items (9)

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

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