| author |
|---|
Chun Tian |
(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.
- 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).
Please use HOL official example for stable versions confirmed working with latest HOL4.