CEG 730-01: Distributed Computing Principles
Prabhaker Mateti · Journal of Bioresource Management · 2009
Communicating sequential processes, clients and servers, remote procedure calls, stub generation, weak and strong semaphores, split-binary-semaphores, and distributed termination. Example languages: SR, Linda.