Report copyright - A Type System for Depth-Bounded Pi-Calculus · Pi-calculus would be a more accurate model: pids can be modelled by names. Question Is there a pi-calculus fragment in which reasoning
Please pass captcha verification before submit form