The ambient calculus of Cardelli and Gordon is a process calculus for describing mobile computation where processes may reside within a …
The blue calculus, defined by Boudol, is a variant of the polyadic pi-calculus that directly embeds the notion of function. In this …