Sequential Composition, Action Prefixes and Process Prefix

摘要

The authors illustrate the difference between sequential composition in process algebra axiomatizations like ACP and action prefixing in process calculi like CCS. They 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.