Compositional and Local Livelock Analysis for CSP

By the same authors

Unifying Theories of Reactive Design Contracts
Foster, S. D., Cavalcanti, A. L. C., Canham, S. J., Woodcock, JAMES. C. P. & Zeyda, F., 8 Jan 2020
Article in Theoretical Computer Science
Probabilistic Semantics for RoboChart A Weakest Completion Approach
Woodcock, JAMES. C. P., Cavalcanti, A. L. C., Foster, S. D. & Mota, A., 4 Nov 2019, Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings. Ribeiro, P. & Sampaio, A. (eds.). Lecture Notes in Computer Science, Vol. 11885.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
SCJ-Circus: specification and refinement of Safety-Critical Java programs
Miyazawa, A. H., Cavalcanti, A. L. C. & Wellings, A. J., 15 Jul 2019
Article in Science of Computer Programming
Finite complete suites for CSP refinement testing
Peleska, J., Huang, W. & Cavalcanti, A. L. C., 15 Jun 2019
Article in Science of Computer Programming
Unifying Semantic Foundations for Automated Verification Tools in Isabelle/UTP
Foster, S., Baxter, J., Cavalcanti, A., Woodcock, J. & Zeyda, F., 14 May 2019, (arXiv).
Research output: Working paper

From the same journal

Unifying Theories of Time with Generalised Reactive Processes
Foster, S. D., Cavalcanti, A. L. C., Woodcock, JAMES. C. P. & Zeyda, F., Jul 2018
Article in Information Processing Letters
Exact Speedup Factors for Linear-Time Schedulability Tests for Fixed-Priority Preemptive and Non-preemptive Scheduling
von der Bruggen, G., Chen, J-J., Davis, R. I. & Huang, W-H. K., 5 Aug 2016
Article in Information Processing Letters
Optimal (D-J)-monotonic priority assignment
Zuhily, A. & Burns, A., 15 Sep 2007
Article in Information Processing Letters
Optimal priority assignment in the presence of blocking
Bletsas, K. & Audsley, N., 16 Aug 2006
Article in Information Processing Letters

Research output: Contribution to journal › Article

Full text download(s)

1-s2.0-S0020019018300036-main
296 KB, PDF document

Published copy (DOI)

10.1016/j.ipl.2017.12.011

Author(s)

M. S. Conserva Filho
Marcel Vinicius Medeiros Oliveira
A. C. A. Sampaio
A. L. C. Cavalcanti

Department/unit(s)

Computer Science

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.

View graph of relations

York staff: edit these data

The York Research Database