HOL-CSP: mechanised formal devlopment mof concurrent processes

Haykal Tej. HOL-CSP: mechanised formal devlopment mof concurrent processes. PhD thesis, University of Bremen, Germany, 2003. [doi]

Bibliographies