On sequential composition, action prefixes and process prefix
J. C. M. Baeten, Jan Aldert Bergstra · Formal Aspects of Computing · 1994
Abstract We illustrate the difference between sequential composition in process algebra axiomatisations like ACP and action prefixing in process calculi like CCS. We define both early and late input in a general framework extending ACP, and consider various subalgebras, some very close to value passing CCS, another one close to CSP.