Encoding Pi Calculus

[PDF]

by David Guaspari



Abstract

Encodes the pi calculus in the general process model of LICS paper by Bickford and Constable 2010