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 Conference Proceedings at Scopus Article at Scopus

Towards practical synthesis of programsTõugu, EnnInformation processing 80 : proceedings of IFIP Congress 80, Tokyo, Melbourne1980 / p. 207–219 https://dblp.org/rec/conf/ifip/Tyugu80.html Article at Scopus