Skip to main content
PRL Project

Encoding Pi Calculus

by David Guaspari
2010

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

bibTex ref: Gua10


cite link