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...
| Hovedforfatter: | |
|---|---|
| Format: | Journal article |
| Sprog: | English |
| Udgivet: |
Elsevier
2009
|