A mathematical theory of communicating processes
暂无分享,去创建一个
(Brief abstract written by the author in 2011 since I don't have the original to hand.)This thesis introduced much of the theory for Hoare's CSP, including the failures and failures-divergences model and methods of proving properties
of processes based on metric, order and topological structures. The final chapter investigates the structures underlying operational semantics.