Specifying termination in CSP
| Autor: | Howells, Paul, dʼInverno, Mark |
|---|---|
| Zdroj: | In Theoretical Computer Science 9 September 2013 503:31-60 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Howells, Paul, dʼInverno, Mark |
|---|---|
| Zdroj: | In Theoretical Computer Science 9 September 2013 503:31-60 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect