Sound reasoning in tock-CSP

Baxter, James, Ribeiro, Pedro orcid.org/0000-0003-4319-4872 and Cavalcanti, Ana orcid.org/0000-0002-0831-1976 (2021) Sound reasoning in tock-CSP. Acta Informatica. ISSN 0001-5903

Abstract

Metadata

Authors/Creators:
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
Dates:
  • 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: https://doi.org/10.1007/s00236-020-00394-3
Status: Published online
Refereed: Yes
Identification Number: https://doi.org/10.1007/s00236-020-00394-3
Related URLs:

Download

Filename: Baxter2021_Article_SoundReasoningInTock_CSP.pdf

Description: Sound reasoning in tock-CSP

Licence: CC-BY 2.5

Share / Export

Statistics