Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra

Foster, Simon David orcid.org/0000-0002-9889-9514, Ye, Kangfeng, Cavalcanti, Ana Lucia Caneca orcid.org/0000-0002-0831-1976 et al. (1 more author) (2018) Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra. In: Guttmann, Walter, Desharnais, Jules and Joosten, Stef, (eds.) Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer , pp. 205-224.

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: © 2018, Springer Nature Switzerland AG. 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.
Dates:
  • Accepted: 30 June 2018
  • Published: 1 November 2018
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Funding Information:
FunderGrant number
EPSRCEP/M025756/1
Depositing User: Pure (York)
Date Deposited: 01 Aug 2018 10:40
Last Modified: 05 Feb 2024 00:10
Published Version: https://doi.org/10.1007/978-3-030-02149-8_13
Status: Published
Publisher: Springer
Series Name: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Refereed: No
Identification Number: https://doi.org/10.1007/978-3-030-02149-8_13
Related URLs:

Download

Filename: RAMICS2018.pdf

Description: RAMICS2018

Export

Statistics