Performance analysis of unconditionally synchronizing distributed computer programs using the geometric concurrency model - Abrams, Marc (Univ. Microf. Internat., 1987)