A hierarchy of behavioral equivalences in the $\pi$-calculus with noisy channels

Yongzhi Cao

The $\pi$-calculus is a process algebra where agents interact by sending communication links to each other via noiseless communication channels. Taking into account the reality of no…