Concurrency as a modality - Paech, Barbara (1990)