Hello,
(I'm a school student trying to do some course projects using HOL-4)
Monica Nesi ever wrote a Cambridge tech report called "A formalization of
the process algebra CCS in high order logic" [1] in 1992, in which he (or
she) formalized Robin Milner's CCS in HOL. I wonder if the related HOL
theory scripts are still available somewhere on Internet?
Regards,
--
Chun Tian (binghe)
University of Bologna, Italy
[1] http://128.232.0.20/techreports/UCAM-CL-TR-278.pdf
------------------------------------------------------------------------------
Mobile security can be enabling, not merely restricting. Employees who
bring their own devices (BYOD) to work are irked by the imposition of MDM
restrictions. Mobile Device Manager Plus allows you to control only the
apps on BYO-devices by containerizing them, leaving personal data untouched!
https://ad.doubleclick.net/ddm/clk/304595813;131938128;j
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
