The ambient calculus of Cardelli and Gordon is a process calculus for describing mobile computation where processes may reside within a …