An implementation relation for cyclic systems with refusals and discrete time

Lefticaru, R., Hierons, R. orcid.org/0000-0002-4771-1446 and Nunez, M. (2019) An implementation relation for cyclic systems with refusals and discrete time. In: Ölveczky, P.C. and Salaün, G., (eds.) Proceedings of of 17th International Conference on Software Engineering and Formal Methods. 17th International Conference on Software Engineering and Formal Methods (SEFM 2019), 16-20 Sep 2019, Oslo, Norway. Lecture Notes in Computer Science (11724). Springer , pp. 393-409. ISBN 9783030304454

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: © 2019 Springer Nature. This is an author-produced version of a paper subsequently published in SEFM 2019 Proceedings. Uploaded in accordance with the publisher's self-archiving policy.
Dates:
  • Accepted: 26 June 2019
  • Published (online): 9 September 2019
  • Published: 9 September 2019
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/R025134/2
Depositing User: Symplectic Sheffield
Date Deposited: 12 Aug 2019 13:49
Last Modified: 22 Oct 2019 09:06
Published Version: https://sefm2019.inria.fr/
Status: Published
Publisher: Springer
Series Name: Lecture Notes in Computer Science
Refereed: Yes
Identification Number: https://doi.org/10.1007/978-3-030-30446-1_21

Download

Accepted Version


Embargoed until: 9 September 2020

Filename: discrete_tioco_LNCS_SEFM.pdf

Request a copy

Share / Export

Statistics