Corpus ID: 41355574

HOL-CSP: mechanised formal devlopment mof concurrent processes

@inproceedings{Tej2003HOLCSPMF,
  title={HOL-CSP: mechanised formal devlopment mof concurrent processes},
  author={H. Tej},
  year={2003}
}
  • H. Tej
  • Published 2003
  • Computer Science
  • 2 Citations

    Topics from this paper.

    A Generic Theorem Prover of CSP Refinement
    • 58
    • PDF
    Proof Principles of CSP - CSP-Prover in Practice
    • 9
    • PDF