Hoare Semigroups

Struth, G. (2017) Hoare Semigroups. Mathematical Structures in Computer Science. 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. Uploaded in accordance with the publisher's self-archiving policy.
Dates:
  • Published: 4 April 2017
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: 05 Oct 2017 08:29
Published Version: https://doi.org/10.1017/S096012951700007X
Status: Published online
Publisher: Cambridge University Press
Refereed: Yes
Identification Number: https://doi.org/10.1017/S096012951700007X

Share / Export

Statistics