Revivals, stuckness and the hierarchy of CSP models
We give details of a new model for CSP introduced in response to work by Fournet et al [C. Fournet, C.A.R. Hoare, S.K. Rajamani and J. Rehof, Stuck-free conformance, Proceedings CAV 04, 16th International Conference on Computer Aided Verification, Boston, USA, July 2004.]. This is the stable revival...
| 主要作者: | |
|---|---|
| 格式: | Journal article |
| 语言: | English |
| 出版: |
Elsevier
2009
|