Intensional Equality for Process Calculi based on εstructures

Intensional

von Ladan Pooyan-Weihs

Taschenbuch

EAN=ISBN-13: 978-3-89825-322-2

ISBN-10: 3-89825-322-8

dissertation.de · 2001