A Mechanized Theory of the pi-calculus in HOL (1992)
Cached
Download Links
- [www.cl.cam.ac.uk]
- [ftp.dcs.glasgow.ac.uk]
- DBLP
Other Repositories/Bibliography
by
T. F. Melham
| Citations: | 7 - 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 |
