Dynamic Binding of Names in Calculi for Mobile Processes
University dissertation from Kista : Mikroelektronik och informationsteknik
Abstract:
CLICK HERE TO DOWNLOAD THE WHOLE DISSERTATION. (in PDF format)
Abstract:
CLICK HERE TO DOWNLOAD THE WHOLE DISSERTATION. (in PDF format)