Intensional equality for process calculi based on ε-structures [epsilon-structures]Ladan Pooyan-WeihsÉpuisé4,3Prévenez-moi