Coinductive big-step semantics for concurrency
Uustalu, Tarmo
Proceedings 5th Workshop on : Programming Language Approaches to Concurrency and Communication-cEntric Software, Rome, Italy, 23rd March 2013
2013
/
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
Towards practical synthesis of programs
Tõugu, Enn
Information processing 80 : proceedings of IFIP Congress 80, Tokyo, Melbourne
1980
/
p. 207–219
https://dblp.org/rec/conf/ifip/Tyugu80.html
https://www.scopus.com/pages/publications/0019284550?origin=resultslist