%0 Conference Paper %1 conf/concur/0001HW21 %A Foster, Simon %A Hur, Chung-Kil %A Woodcock, Jim %B CONCUR %D 2021 %E Haddad, Serge %E Varacca, Daniele %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 20:1-20:18 %T Formally Verified Simulations of State-Rich Processes Using Interaction Trees in Isabelle/HOL. %U http://dblp.uni-trier.de/db/conf/concur/concur2021.html#0001HW21 %V 203 %@ 978-3-95977-203-7

@inproceedings{conf/concur/0001HW21, added-at = {2023-02-17T00:00:00.000+0100}, author = {Foster, Simon and Hur, Chung-Kil and Woodcock, Jim}, biburl = {https://www.bibsonomy.org/bibtex/2c493fc2868c54428a245fb58bdcc1a66/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/2021}, editor = {Haddad, Serge and Varacca, Daniele}, ee = {https://doi.org/10.4230/LIPIcs.CONCUR.2021.20}, interhash = {c7ad38dafb4d546adacc4c34298f61ee}, intrahash = {c493fc2868c54428a245fb58bdcc1a66}, isbn = {978-3-95977-203-7}, keywords = {dblp}, pages = {20:1-20:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-09T23:26:33.000+0200}, title = {Formally Verified Simulations of State-Rich Processes Using Interaction Trees in Isabelle/HOL.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2021.html#0001HW21}, volume = 203, year = 2021 }