Formally Verified Simulations of State-Rich Processes using Interaction Trees in Isabelle/HOL

Foster, Simon orcid.org/0000-0002-9889-9514, Hur, Chung-Kil and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2021) Formally Verified Simulations of State-Rich Processes using Interaction Trees in Isabelle/HOL. In: International Conference on Concurrency Theory (CONCUR 2021). LIPIcs . .

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: 14 pages, submitted to CONCUR 2021
Keywords: cs.LO
Dates:
  • Published: 13 August 2021
  • Accepted: 23 June 2021
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 07 Jun 2021 10:00
Last Modified: 03 Oct 2021 10:46
Published Version: https://doi.org/10.4230/LIPIcs.CONCUR.2021.20
Status: Published
Series Name: LIPIcs
Refereed: No
Identification Number: https://doi.org/10.4230/LIPIcs.CONCUR.2021.20

Download

Filename: 2105.05133v1.pdf

Description: 2105.05133v1

Share / Export

Statistics