Context-Free Session Types for Applied Pi-Calculus. - Jens Aagaard; Hans Hüttel; Mathias Jakobsen; Mikkel Kettunen (EXPRESS/SOS, 2018)