HOL-CSP: mechanised formal devlopment mof concurrent processes

@inproceedings{Tej2003HOLCSPMF,
  title={HOL-CSP: mechanised formal devlopment mof concurrent processes},
  author={Haykal Tej},
  year={2003}
}

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-2 of 2 extracted citations

Similar Papers

Loading similar papers…