Searching for "A Mechanized Theory of the Pi-Calculus in HOL." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

A Mechanized Theory of the pi-calculus in HOL
by T. F. Melham — 1992
…Revised version of T. F. Melham, `A MechanizedTheory of the ��-calculus in HOL', Technical Report…
Cited by 5 (0 self) – Add To MetaCart

Proceedings Of The Second Workshop On Logical Frameworks, Edinburgh, May 1991
by G. Huet, G. Plotkin, C. Jones (eds.), C. Jones — 1991
…: A Mechanized Theory of the pi-calculus in HOL 10.00--10.30am Claire Jones Completing the Rationals…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB