A compositional approach to signal flow graphsSobocinski, Pawel Maria31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts2019 / p. 2 https://doi.org/10.23658/taltech.nwpt/2019

The early π-calculus in ticked cubical type theoryVeltri, Niccolo; Vezzosi, Andrea31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts2019 / p. 77-80 https://doi.org/10.23658/taltech.nwpt/2019

Formal verification of maritime autonomous systems using UPPAAL STRATEGOShokri-Manninen, Fatima; Vain, Jüri; Walden, Marina31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts2019 / p. 58-61 : ill https://doi.org/10.23658/taltech.nwpt/2019

Operational semantics with semicommutationsMaarand, Hendrik; Uustalu, Tarmo31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts2019 / p. 40-43 https://doi.org/10.23658/taltech.nwpt/2019 https://cs.ttu.ee/events/nwpt2019/abstracts/paper24.pdf

PrefaceUustalu, Tarmo; Vain, Jüri31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts2019 / p. iii https://doi.org/10.23658/taltech.nwpt/2019