Taras Panchenko, Sunmade Fabunmi. Еквівалентність двох систем паралельного виконання Equivalence of two parallel execution systems. In Ivan Sergienko, Philip Andon, editors, Proceedings of the 11th International Conference of Programming UkrPROG 2018, Kyiv, Ukraine, May 22-24, 2018. Volume 2139 of CEUR Workshop Proceedings, pages 93-98, CEUR-WS.org, 2018. [doi]
Abstract is missing.