A coalgebraic treatment of conditional transition systems with upgrades

Beohar, H. orcid.org/0000-0001-5256-1334, König, B., Küpper, S. et al. (2 more authors) (2018) A coalgebraic treatment of conditional transition systems with upgrades. Logical Methods in Computer Science, 14 (1). ISSN 1860-5974



Copyright, Publisher and Additional Information: © 2018 The Authors. This work is licensed under the Creative Commons Attribution-NoDerivs License. To view a copy of this license, visit https://creativecommons.org/licenses/by-nd/4.0/
Keywords: Computer Science; Logic in Computer Science
  • Published (online): 28 February 2018
  • Published: 28 February 2018
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 23 Mar 2020 14:58
Last Modified: 23 Mar 2020 14:58
Published Version: http://lmcs.episciences.org/4330
Status: Published
Publisher: Logical Methods in Computer Science
Refereed: Yes
Identification Number: https://doi.org/10.23638/LMCS-14(1:19)2018


Share / Export