Atomic Transactions

Atomic Transactions

File Size : 38,38 MB
Total View : 7440 Views
DOWNLOAD

This book presents a framework for precise design and verification of distributed and concurrent systems that use atomic transactions as a high-level abstractio

Advances in Distributed Systems

Advances in Distributed Systems

File Size : 53,53 MB
Total View : 8982 Views
DOWNLOAD

In 1992 we initiated a research project on large scale distributed computing systems (LSDCS). It was a collaborative project involving research institutes and u