Towards a UTP semantics for modelica

Foster, Simon orcid.org/0000-0002-9889-9514, Thiele, Bernhard, Cavalcanti, Ana orcid.org/0000-0002-0831-1976 et al. (1 more author) (2017) Towards a UTP semantics for modelica. In: Bowen, Jonathan P. and Zhu, Huibiao, (eds.) Unifying Theories of Programming - 6th International Symposium, UTP 2016, Revised Selected Papers. 6th International Symposium on Unifying Theories of Programming, UTP 2016, 04-05 Jun 2016 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer Verlag , ISL , pp. 44-64.

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: © 2016, Springer International Publishing 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.
Keywords: Theoretical Computer Science,Computer Science
Dates:
  • Accepted: 2016
  • Published: 1 January 2017
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 27 Sep 2016 10:34
Last Modified: 12 Jul 2020 11:00
Published Version: https://doi.org/10.1007/978-3-319-52228-9
Status: Published
Publisher: Springer Verlag
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-319-52228-9
Related URLs:

Download

Filename: utp2016.pdf

Description: modelica-utp2016

Share / Export

Statistics