Two Complete Axiom Systems for a Theory of Communicating Sequential Processes Rocco De Nicola 136-172 Information and Control January/February/March 1985 64 1-3 db/journals/iandc/iandc64.html#Nicola85 http://dx.doi.org/10.1016/S0019-9958(85)80048-6