Ying Mingsheng
(Higher Education Press, co-published with Springer-Verlag GmbH, 2007)
Formal models of communicating and concurrent systems are one of the most important topics in formal methods, and process calculus is one of the most successful formal models of communicating and concurrent systems. In the ...