By the same authors

From the same journal

Compositional and Local Livelock Analysis for CSP

Research output: Contribution to journalArticlepeer-review

Full text download(s)

Published copy (DOI)



Publication details

JournalInformation Processing Letters
DateAccepted/In press - 30 Dec 2017
DateE-pub ahead of print (current) - 12 Jan 2018
Number of pages9
Early online date12/01/18
Original languageEnglish

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.

View graph of relations