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

Cached

Download Links

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

Document Versions

A Mechanized Theory of the pi-calculus in HOL –T. F. Melham — 1992
A Mechanized Theory of the pi-calculus in HOL –T. F. Melham — 1992 — NORDIC JOURNAL OF COMPUTING