The York Research Database
- » Research
- » York Research Database
- » Publications
- » Compositional and Local Livelock Analysis for CSP
Compositional and Local Livelock Analysis for CSP
Research output: Contribution to journal › Article › peer-review
Full text download(s)
296 KB, PDF document
Published copy (DOI)
Author(s)
Department/unit(s)
Publication details
| Journal | Information Processing Letters |
|---|---|
| Date | Accepted/In press - 30 Dec 2017 |
| Date | E-pub ahead of print (current) - 12 Jan 2018 |
| Number of pages | 9 |
| Early online date | 12/01/18 |
| Original language | English |
Bibliographical note
This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details.
Discover related content
Find related publications, people, projects, datasets and more using interactive charts.