A Mechanized Theory of the pi-calculus in HOL (1992)

Cached

Download Links

by T. F. Melham
Citations:8 - 0 self