Brief announcement: On strong observational refinement and forward simulation

Derrick, J., Doherty, S., Dongol, B. et al. (2 more authors) (2021) Brief announcement: On strong observational refinement and forward simulation. In: 35th International Symposium on Distributed Computing (DISC 2021). 35th International Symposium on Distributed Computing (DISC 2021), 04-08 Oct 2021, Freiburg, Germany. Leibniz International Proceedings in Informatics (LIPIcs), 209 . Schloss Dagstuhl , 55:1-55:4. ISBN 9783959772105

Abstract

Metadata

Authors/Creators:
  • Derrick, J.
  • Doherty, S.
  • Dongol, B.
  • Schellhorn, G.
  • Wehrheim, H.
Copyright, Publisher and Additional Information: © John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, and Heike Wehrheim; licensed under Creative Commons License CC-BY 4.0 (https://creativecommons.org/licenses/by/4.0/legalcode)
Keywords: Strong Observational Refinement; Hyperproperties; Forward Simulation
Dates:
  • Published (online): 4 October 2021
  • Published: 4 October 2021
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Science (Sheffield)
Funding Information:
FunderGrant number
ENGINEERING AND PHYSICAL SCIENCE RESEARCH COUNCILEP/R032351/1
Depositing User: Symplectic Sheffield
Date Deposited: 22 Nov 2021 17:03
Last Modified: 22 Nov 2021 17:17
Status: Published
Publisher: Schloss Dagstuhl
Series Name: Leibniz International Proceedings in Informatics (LIPIcs)
Refereed: Yes
Identification Number: https://doi.org/10.4230/LIPIcs.DISC.2021.55
Related URLs:

Share / Export

Statistics