Responsiveness in process calculi
scientific article; zbMATH DE number 5382283