On the discriminating power of passivation and higher-order interaction
Marco Bernardo, Davide Sangiorgi, Valeria Vignudelli · 2014
This paper studies the discriminating power offered by higher-order concurrent languages, and contrasts this power with those offered by higher-order sequential languages (à la λ-calculus) and by first-order concurrent languages (à la CCS). The concurrent higher-order languages that we focus on are Higher-Order π-calculus (HOπ), which supports higher-order communication, and an extension of HOπ with passivation, a simple higher-order construct that allows one to obtain location-dependent process behaviours.