@misc{GomezLondono_AAmanPohjola_18, address = {Oslo, Norway}, author = {Gomez-Londono, Alejandro and {\AA}man Pohjola, Johannes}, booktitle = {Nordic Workshop on Programming Theory}, date = {2018-10-24}, isbn = {9788273684509}, month = oct, note = { at Nordic Workshop on Programming Theory}, paperurl = {https://trustworthy.systems/publications/full_text/GomezLondono_AAmanPohjola_18.pdf}, publisher = {N/A}, title = {Connecting Choreography Languages With Verified Stacks}, year = {2018} }