All ebooks in the collection All - Readzis.co.uk
Readzis program recommandation

All ebooks in the collection "Synthesis Lectures on Distributed Computing Theory" - Springer


2  Book(s)
Download this eBook Recoverable Mutual Exclusion
Add to my wish list

Recoverable Mutual Exclusion

Sahil Dhoked , Wojciech Golab , Neeraj Mittal

This book discusses the recent research work on designing efficient fault-tolerant synchronization mechanisms for concurrent processes using the relatively new persistent memory technology that combines the low latency benefits of DRAM with the persistence of magnetic...

Publication date: 2023-04-17
Format: PDF, ePub
Publisher: Springer
Collection: Synthesis Lectures on Distributed Computing Theory
Add to basket
£34,99
Download this eBook The Theory of Timed I/O Automata, Second Edition
Add to my wish list

The Theory of Timed I/O Automata, Second Edition

Dilsun Kaynar , Nancy Lynch , Roberto Segala , Frits Vaandrager

This monograph presents the Timed Input/Output Automaton (TIOA) modeling framework, a basic mathematical framework to support description and analysis of timed (computing) systems. Timed systems are systems in which desirable correctness or performance properties of the...

Publication date: 2022-06-01
Format: PDF
Publisher: Springer
Collection: Synthesis Lectures on Distributed Computing Theory
Add to basket
£27,99

Sign up to get our latest ebook recommendations and special offers


Paiements sécurisés

Copyright © Numilog 2025, All rights reserved