Concurrency as a modality - Paech, Barbara (TUM, Inst. für Informatik, 1991)
Zugl.: München, Univ., Diss., 1990