Before revision: Mathematical consideration of process architectures may be found in CCS and the π-calculus.
After revision: mathematical consideration of process architectures may be found in CCS and the π-calculus.