I think modern machinery would probably make a mechanisation that old seem
extremely long-winded and painful. Even if you found the material, which seems
unlikely, it might not be that helpful. Papers describing it would probably be
good to read though...
Michael
On 24 May 2016, at 23:34, Chun Tian (binghe)
<binghe.l...@gmail.com<mailto:binghe.l...@gmail.com>> wrote:
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<mailto:hol-info@lists.sourceforge.net>
https://lists.sourceforge.net/lists/listinfo/hol-info
________________________________
The information in this e-mail may be confidential and subject to legal
professional privilege and/or copyright. National ICT Australia Limited accepts
no liability for any damage caused by this email or its attachments.
------------------------------------------------------------------------------
What NetFlow Analyzer can do for you? Monitors network bandwidth and traffic
patterns at an interface-level. Reveals which users, apps, and protocols are
consuming the most bandwidth. Provides multi-vendor support for NetFlow,
J-Flow, sFlow and other flows. Make informed decisions using capacity
planning reports. https://ad.doubleclick.net/ddm/clk/305295220;132659582;e
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
