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