[formal-methods] Pi Calculus FAQ
Jason Dusek
jason.dusek at gmail.com
Thu Jun 18 07:50:01 UTC 2009
Previous message (by thread):
[formal-methods] Correct by construction DAGs.
Next message (by thread):
[formal-methods] Injective, Surjective, and Bijective functions
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
http://www.cs.tufts.edu/~nr/cs257/archive/jeannette-wing/pi.pdf
Previous message (by thread):
[formal-methods] Correct by construction DAGs.
Next message (by thread):
[formal-methods] Injective, Surjective, and Bijective functions
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the formal-methods mailing list