An interactive proof system for test congruence between processes

Author: Nils-olof Forsgren; Olov Schelén; Luleå Tekniska Universitet; []

Keywords: NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Dependable Communication and Computation Systems; Kommunikations- och beräkningssystem;

Abstract:

CLICK HERE TO DOWNLOAD THE WHOLE DISSERTATION. (in PDF format)