Antonina Nepeivoda. Ping-Pong Protocols as Prefix Grammars and Turchin Relation. In Alexei Lisitsa, Andrei P. Nemytykh, editors, First International Workshop on Verification and Program Transformation, VPT 2013, Saint Petersburg, Russia, July 12-13, 2013. Volume 16 of EPiC Series, pages 74-87, EasyChair, 2013. [doi]
Abstract is missing.