Atomicity and Concurrency Control in Process Calculi

Gian Luigi Ferrari. Atomicity and Concurrency Control in Process Calculi. Fundamenta Informaticae, 29(4):341-368, 1997.

Abstract

Abstract is missing.