Compositional and Local Livelock Analysis for CSP

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:
  • Accepted: 30 December 2017
  • Published (online): 12 January 2018
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: 29 Jun 2025 23:07
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):

Download

Accepted Version

Filename: 1_s2.0_S0020019018300036_main.pdf

Description: 1-s2.0-S0020019018300036-main

CLICK TO DOWNLOAD [thumbnail of 1-s2.0-S0020019018300036-main]

Export

Statistics


CORE (COnnecting REpositories)