Filho, M. S. Conserva, Oliveira, Marcel Vinicius Medeiros, Sampaio, A. C. A. et al. (1 more author) (2018) Compositional and Local Livelock Analysis for CSP. Information Processing Letters. ISSN 0020-0190
Metadata
Item Type: | Article |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | 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. |
Dates: |
|
Institution: | The University of York |
Academic Units: | The University of York > Faculty of Sciences (York) > Computer Science (York) |
Depositing User: | Pure (York) |
Date Deposited: | 15 Jan 2018 15:00 |
Last Modified: | 16 Oct 2024 14:22 |
Published Version: | https://doi.org/10.1016/j.ipl.2017.12.011 |
Status: | Published online |
Refereed: | Yes |
Identification Number: | 10.1016/j.ipl.2017.12.011 |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:126283 |
Download
Filename: 1_s2.0_S0020019018300036_main.pdf
Description: 1-s2.0-S0020019018300036-main