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

Item Type: Proceedings Paper
Authors/Creators:
Editors:
  • Guttmann, Walter
  • Desharnais, Jules
  • Joosten, Stef
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:
  • Published: 1 November 2018
  • Accepted: 30 June 2018
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Funding Information:
Funder
Grant number
EPSRC
EP/M025756/1
Depositing User: Pure (York)
Date Deposited: 01 Aug 2018 10:40
Last Modified: 16 Oct 2024 10:59
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)
Identification Number: 10.1007/978-3-030-02149-8_13
Related URLs:
Open Archives Initiative ID (OAI ID):

Download

Filename: RAMICS2018.pdf

Description: RAMICS2018

Export

Statistics