In Distributed Algorithms, Nancy Lynch provides a blueprint for designing, implementing,
and analyzing distributed algorithms. She directs her book at a wide audience, including …

Local majorities, coalitions and monopolies in graphs: a review Page 1 Theoretical Computer
Science 282 (2002) 231–257 www.elsevier.com/locate/tcs Local majorities, coalitions and …

Abstract Coloured Petri Nets (CPNs) is a language for the modelling and validation of
systems in which concurrency, communication, and synchronisation play a major role …

Structure and Interpretation of Computer Programs has had a dramatic impact on computer
science curricula over the past decade. This long-awaited revision contains changes …

The Art of Multiprocessor Programming, Second Edition, provides users with an authoritative
guide to multicore programming. This updated edition introduces higher level software …

* Comprehensive introduction to the fundamental results in the mathematical foundations of
distributed computing* Accompanied by supporting material, such as lecture notes and …

Distributed computing concerns environments in which many processors, located at different
sites, must operate in a noninterfering and cooperative manner. Each of the processors …

Busy-wait techniques are heavily used for mutual exclusion and barrier synchronization in
shared-memory parallel programs. Unfortunately, typical implementations of busy-waiting …

Distributed computations are concurrent programs in which processes communicate by
message passing. Such programs typically execute on network architectures such as …

This book is about the verification of reactive systems. A reactive system is a system that
maintains an ongoing interaction with its environment, as opposed to computing some final …