A discrete geometric model of concurrent program execution

Möller, B., Hoare, T., Müller, M.E. et al. (1 more author) (2017) A discrete geometric model of concurrent program execution. In: Bowen, J.P. and Zhu, H., (eds.) International Symposium on Unifying Theories of Programming. 6th International Symposium, UTP 2016, June 4-5, 2016, Reykjavik, Iceland. Lecture Notes in Computer Science, 10134 . Springer, Cham , pp. 1-25. ISBN 9783319522272

Abstract

Metadata

Authors/Creators:
  • Möller, B.
  • Hoare, T.
  • Müller, M.E.
  • Struth, G.
Copyright, Publisher and Additional Information: © Springer International Publishing AG 2017. This is an author produced version of a paper subsequently published in Lecture Notes in Computer Science. Uploaded in accordance with the publisher's self-archiving policy.
Dates:
  • Published: 11 January 2017
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Funding Information:
FunderGrant number
ENGINEERING AND PHYSICAL SCIENCE RESEARCH COUNCIL (EPSRC)EP/M017044/1
Depositing User: Symplectic Sheffield
Date Deposited: 19 May 2017 08:20
Last Modified: 25 Mar 2018 02:47
Published Version: https://doi.org/10.1007/978-3-319-52228-9_1
Status: Published
Publisher: Springer, Cham
Series Name: Lecture Notes in Computer Science
Refereed: Yes
Identification Number: https://doi.org/10.1007/978-3-319-52228-9_1

Share / Export

Statistics