𝔖 Bobbio Scriptorium

✦ LIBER ✦

Concurrent Programming: Algorithms, Principles, and Foundations || The Mutual Exclusion Problem

✍ Scribed by Raynal, Michel

Book ID: 120230969
Publisher: Springer Berlin Heidelberg
Year: 2012
Weight: 370 KB
Category: Article
ISBN: 3642320279
DOI: 10.1007/978-3-642-32027-9_1

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Concurrent Programming: Algorithms, Prin

Concurrent Programming: Algorithms, Principles, and Foundations || Atomicity: Formal Definition and Properties

✍ Raynal, Michel 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 468 KB

Concurrent Programming: Algorithms, Prin

Concurrent Programming: Algorithms, Principles, and Foundations || The Case of Unreliable Base Objects

✍ Raynal, Michel 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 802 KB

Concurrent Programming: Algorithms, Prin

Concurrent Programming: Algorithms, Principles, and Foundations || From Safe Bits to Atomic Bits: Lower Bound and Optimal Construction

✍ Raynal, Michel 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 602 KB

Mathematical Methods of the Theory of St

Mathematical Methods of the Theory of Stochastic Automata.by A. Bertoni; A. Blikle;Functions Computable in the Limit by Probabilistic Machines.by R. V. Freivald;Some Properties of Limit Recursive Functions.by B. Goetze; R. Klette;An Approach to Correctness Proofs of Semicoroutines.by Ole-Johan Dahl;The axiomatization Problem of a Theory of Linear Languages.by G. Wechsung;Modular Approach to the Logical Theory of Programs.by L. Banachowski;Mathematical Foundations of Motivation Languages and Synthesis Maps.by Pierangelo Miglioli;ω+-Valued Algorithmic Logic as a Tool to Investigate Procedures.by H. Rasiowa;Procedures, formal Computations and Models.by Andrzej Salwicki

✍ Review by: Steven S. Muchnick 📂 Article 📅 1977 🏛 Association for Symbolic Logic 🌐 English ⚖ 98 KB