Kalkul komunikujících systémů CCS - Mikesková, Monika (1987)