38] Monica Nesi. A formalization of the process algebra CCS in higher order logic (1989)

by Communication, Concurrency Prentice-Hall
Results 1 - 1 of 1

From LCF to HOL: a short history

by Mike Gordon - Proof, Language, and Interaction , 2000
"... ..."
Abstract - Cited by 19 (0 self) - Add to MetaCart
Abstract not found