Ruqian Lu A True Concurrency Model of CCS Semantics. 231-258 1993 113 Theor. Comput. Sci. 2 db/journals/tcs/tcs113.html#Ruqian93