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