Operating systems. An advanced course

zbMath0375.68002MaRDI QIDQ1245690

No author found.

Publication date: 1978

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

Mathematics Subject Classification ID

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

Related Items (33)

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

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