Intensional equality for process calculi based on ε-structures. - Ladan Pooyan-Weihs (dissertation.de, 2000)