Items where authors include "Hur, Chung-Kil"

Up a level
Export as [feed] Atom [feed] RSS
Jump to: Proceedings Paper
Number of items: 1.

Proceedings Paper

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). UNSPECIFIED. LIPIcs . Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany .

This list was generated on Sat May 4 22:46:05 2024 BST.