author	Chun Tian

Calculus of Communicating Systems in Higher Order Logic

(A formalisation of Milner's CCS in HOL4)

This (private) repository holds unpublished CCS formalization in HOL theorem prover (HOL4) and LaTeX sources of related papers.

Published papers

• Tian, C.: A Formalization of Unique Solutions of Equations in Process Algebra, http://amslaurea.unibo.it/14798/ (2017). (arXiv reprint: https://arxiv.org/abs/1712.09402)
• Tian, C., Sangiorgi, D.: Unique solutions of contractions, CCS, and their HOL formalisation, EXPRESS/SOS (2018).

Notes

Please use HOL official example for stable versions confirmed working with latest HOL4.