formal methodology for the verification of concurrent systems.
Publisher: Aston University. Departmentof Electronic Engineering and Applied Physics
Place of publication: Birmingham
Language: eng
Notes: Thesis(PhD) - Aston University, 1993.