Process algebra semantics of POOL

Abstract
Applications of Process Algebra - September 1990