Hoare semigroups

Struth, G. (2018) Hoare semigroups. Mathematical Structures in Computer Science, 28 (6). ISSN 0960-1295

Abstract

Metadata

Authors/Creators:
  • Struth, G.
Copyright, Publisher and Additional Information: © 2017 Cambridge University Press. This is an author produced version of a paper subsequently published in Mathematical Structures in Computer Science. Article available under the terms of the CC-BY-NC-ND license (https://creativecommons.org/licenses/by-nc-nd/4.0/).
Dates:
  • Published (online): 4 April 2017
  • Published: June 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: 18 May 2017 11:11
Last Modified: 20 Jul 2023 11:36
Status: Published
Publisher: Cambridge University Press
Refereed: Yes
Identification Number: https://doi.org/10.1017/S096012951700007X

Download

Accepted Version

Filename: h-semigroup.pdf

Licence: CC-BY-NC-ND 4.0

CLICK TO DOWNLOAD [img]

Export

Statistics


CORE (COnnecting REpositories)