• Coinductive big-step semantics for concurrencyUustalu, TarmoProceedings 5th Workshop on : Programming Language Approaches to Concurrency and Communication-cEntric Software, Rome, Italy, 23rd March 20132013 / p. 63-78 https://doi.org/10.4204/EPTCS.137.6 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-84954516018&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.4204%2FEPTCS.137.6%29&sessionSearchId=b54b8b263198aa2b467a2e833e85bb3b
• A Hoare logic for the coinductive trace-based big-step semantics of WhileNakata, Keiko; Uustalu, TarmoLogical methods in computer science2015 / p. 1-32 https://doi.org/10.2168/LMCS-11(1:1)2015 https://www.scopus.com/sourceid/19700175752 https://www.scopus.com/record/display.uri?eid=2-s2.0-84927614414&origin=inward&txGid=471be739e46f27856bce1949cd06219a https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LOG%20METH%20COMPUT%20SCI&year=2015 https://www.webofscience.com/wos/woscc/full-record/WOS:000353193000009