Operating systems. An advanced course

MaRDI QIDQ1245690zbMATH OpenFDO

Authors

Publication date 1978

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) General topics in the theory of software (68N01)

Cited in

(33)

• Reducing the blocking in two-phase commit with backup sites
• Dynamic cycle detection
• A technique for constructing highly available services
• Introduction to the theory of nested transactions
• Hybrid concurrency control for abstract data types
• Conceptual level concurrency control of relational update transactions
• Increasing the resilience of distributed and replicated database systems
• A computer scientist looks at game theory.
• \(\mathrm {TM}^{2}\mathrm {C}\): a software transactional memory for many-cores
• On the logical unsolvability of the Gettier problem
• Efficiency and equilibrium in the electronic mail game; the general case
• The Bancomat problem: An example of resource allocation in a partitionable asynchronous system
• Booting clock synchronization in partially synchronous systems with hybrid process and link failures
• Knowledge, behavior, and rationality: rationalizability in epistemic games
• Global synchronization and consensus using beeps in a fault-prone multiple access channel
• Propositional Dynamic Logic as a Logic of Belief Revision
• Aneris: a mechanised logic for modular reasoning about distributed systems
• Consensus in Data Management: From Distributed Commit to Blockchain
• Introduction (to the special issue on: Economics and artificial intelligence)
• Coordinated action in the electronic mail game
• AbU: a calculus for distributed event-driven programming with attribute-based interaction
• The inherent cost of strong-partial view-synchronous communication
• METRICS FOR FORMAL STRUCTURES, WITH AN APPLICATION TO KRIPKE MODELS AND THEIR DYNAMICS
• Common ground in non-face-to-face communication: \textit{in sensu diviso} or \textit{in sensu composito}
• Randomization can be a healer: consensus with dynamic omission failures
• The impact of recovery on concurrency control
• Synchronous consensus under hybrid process and link failures
• Design of transaction commitment protocols
• Multi-version concurrency control scheme for a database system
• How to safely close a discussion
• Exploiting logical structures in replicated databases
• Two phase gossip: Managing distributed event histories
• Efficient communication in the electronic mail game

This page was built for publication: Operating systems. An advanced course

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