Unifying heterogeneous state-spaces with lenses

Foster, Simon orcid.org/0000-0002-9889-9514, Zeyda, Frank and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2016) Unifying heterogeneous state-spaces with lenses. In: Wang, Farn and Sampaio, Augusto, (eds.) Theoretical Aspects of Computing - ICTAC 2016, 13th International Colloquium, Proceedings. 13th International Colloquium on Theoretical Aspects of Computing, ICTAC 2016, 24-31 Oct 2016 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer Verlag , TWN , pp. 295-314.

Abstract

Metadata

Authors/Creators:
Keywords: Theoretical Computer Science,Computer Science
Dates:
  • Accepted: 2016
  • Published: 24 October 2016
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:35
Last Modified: 30 Aug 2020 10:50
Published Version: https://doi.org/10.1007/978-3-319-46750-4_17
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-46750-4_17
Related URLs:

Download

Share / Export

Statistics