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

Simon Foster, Chung-Kil Hur, Jim Woodcock

Browse the full CONCUR paper archive.