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. pp. 126-162. ISSN 0001-5903

Abstract

Metadata

Item Type: Article
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).

Dates:
  • Published: 17 April 2021
  • Accepted: 5 December 2020
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: 16 Oct 2024 17:35
Published Version: https://doi.org/10.1007/s00236-020-00394-3
Status: Published
Refereed: Yes
Identification Number: 10.1007/s00236-020-00394-3
Related URLs:
Open Archives Initiative ID (OAI ID):

Download

Filename: Baxter2021_Article_SoundReasoningInTock_CSP.pdf

Description: Sound reasoning in tock-CSP

Licence: CC-BY 2.5

Export

Statistics