Translating CSP trace refinement to UNITY unreachability : a study in data independence
This paper tries to translate trace refinement between CSP processes to unreachability on Unity-like languages. The key concern, however, is on how data independent (DI) variables and DI arrays could be treated in the translation. It proves to be a challenging task since CSP can utilize DI data in s...
| Main Authors: | , , |
|---|---|
| Format: | Report |
| Published: |
Oxford University Computing Laboratory
2015
|