Comparative Studies, Formal Semantics and PVS Encoding of CSP# - SHI LING (2014)
Ph.D