Concurrent Systems: An Integrated Approach to Operating Systems,

Distributed Objects: Methodologies for Customizing Systems Software, Nayeem Isla

Concurrent Systems: Operating Systems, Database and Distributed

Operating Systems: Concurrent and Distributed Software Design (I

Operating Systems: Concurrent and Distributed Software Design (International Co

A Semantic Approach to Correctness, of Concurrent Transaction Executions

Fault-Tolerant Message-Passing Distributed Systems An Algorithmic Approach