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...
| Autor principal: | |
|---|---|
| Formato: | Journal article |
| Idioma: | English |
| Publicado em: |
Elsevier
2009
|