Concurrency as a modality - Paech, Barbara (München, Univ., Diss., 1990, 1990)