[formal-methods] Pi Calculus FAQ

Jason Dusek jason.dusek at gmail.com
Thu Jun 18 07:50:01 UTC 2009


http://www.cs.tufts.edu/~nr/cs257/archive/jeannette-wing/pi.pdf



More information about the formal-methods mailing list