Sound reasoning in tock-CSP

Baxter, James, Ribeiro, Pedro and Cavalcanti, Ana (2021) Sound reasoning in tock-CSP. Acta Informatica. pp. 126-162. ISSN 0001-5903



Copyright, Publisher and Additional Information: Funding Information: This work is funded by EPSRC Grants EP/M025756/1 and EP/R025479/1, and by the Royal Academy of Engineering. No new primary data was created as part of the study reported here. © 2021, The Author(s).
  • Accepted: 5 December 2020
  • Published: 17 April 2021
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 19 May 2021 12:50
Last Modified: 07 Dec 2022 15:34
Published Version:
Status: Published
Refereed: Yes
Identification Number:
Related URLs:


Filename: Baxter2021_Article_SoundReasoningInTock_CSP.pdf

Description: Sound reasoning in tock-CSP

Licence: CC-BY 2.5

Share / Export