Interval-based data refinement: A uniform approach to true concurrency in discrete and real-time systems

Dongol, B. and Derrick, J. (2015) Interval-based data refinement: A uniform approach to true concurrency in discrete and real-time systems. Science of Computer Programming, 111. pp. 214-247. ISSN 0167-6423

Abstract

Metadata

Authors/Creators:
  • Dongol, B.
  • Derrick, J.
Copyright, Publisher and Additional Information: © 2015 Elsevier B.V. This is an author produced version of a paper subsequently published in Science of Computer Programming. Uploaded in accordance with the publisher's self-archiving policy.
Keywords: Refinement; Interval-based reasoning; True concurrency; Discrete time systems; Real-time systems
Dates:
  • Published: 1 November 2015
  • Published (online): 27 May 2015
  • Accepted: 6 May 2015
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: 03 Mar 2017 13:43
Last Modified: 05 Apr 2018 11:47
Published Version: https://doi.org/10.1016/j.scico.2015.05.005
Status: Published
Publisher: Elsevier
Identification Number: https://doi.org/10.1016/j.scico.2015.05.005
Related URLs:

Share / Export

Statistics