Sound reasoning in tock-CSP

Baxter, James, Ribeiro, Pedro and Cavalcanti, Ana (2021) Sound reasoning in tock-CSP. Acta Informatica. 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).
Keywords: Software,Information Systems,Computer Networks and Communications
  • Published (online): 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: 13 Nov 2021 01:13
Published Version:
Status: Published online
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