Avoiding diamonds in desynchronisation

Beohar, H. orcid.org/0000-0001-5256-1334 and Cuijpers, P.J.L. (2014) Avoiding diamonds in desynchronisation. Science of Computer Programming, 91, Part A. pp. 45-69. ISSN 0167-6423



Copyright, Publisher and Additional Information: © 2013 Elsevier. 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. Article available under the terms of the CC-BY-NC-ND licence (https://creativecommons.org/licenses/by-nc-nd/4.0/).
Keywords: Synchrony to asynchrony; Desynchronisation; Branching bisimulation; Equivalence checking of infinite state systems
  • Accepted: 6 December 2013
  • Published (online): 14 December 2013
  • Published: 1 October 2014
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: 13 Mar 2020 15:06
Last Modified: 15 Mar 2020 13:06
Status: Published
Publisher: Elsevier
Refereed: Yes
Identification Number: https://doi.org/10.1016/j.scico.2013.12.002


Filename: Main.pdf

Licence: CC-BY-NC-ND 4.0

Share / Export