Algorithms for mutual exclusion | Guide books skip to main content ACM Digital Library
home ACM home Google, Inc. (search) Advanced Search Browse About Sign in Register …

Concurrent computing is gaining ground in interest as it becomes increasingly feasible to
implement distributed computing across networks of workstations. This book, by one of the …

Coordinated computing: tools and techniques for distributed software | Guide books skip to
main content ACM Digital Library home ACM home Google, Inc. (search) Advanced Search …

We present a way of combining algebraic specifications and Petri nets for specifying parallel
systems formally. The data structure of a system is algebraically specified while its …

Similarity is introduced as a model-independent characterization of symmetry. It can be used
to decide when a concurrent system has a solution to the selection problem. It can also be …

We consider the minimum number of variables required for symmetric mutual exclusion and
related problems. The symmetric. mutual exclusion problem takes the standard shared …

The online services provided by the Service Provider (SP) have brought significant
convenience to people's lives. Nowadays, people have grown accustomed to obtaining …

Consider two straight-line programs A and B, and let H be a set of sequences of steps of A
and B, possibly interleaved, but each containing all steps of A and B in the right order A …

Ideally, procedures and data structures on a shared-memory MIMD machine should be
serialization-free and concurrently accessible to avoid (potential) performance-limiting …