On the Relative Expressiveness of Higher-Order Session Processes


By integrating constructs from the λ-calculus and the π-calculus, in higher-order process calculi exchanged values may contain processes. This paper studies the relative expressiveness of HOπ, the higher-order π-calculus in which communications are governed by session types. Our main discovery is that HO, a subcalculus of HOπ which lacks name-passing and… (More)
DOI: 10.1007/978-3-662-49498-1_18

3 Figures and Tables


  • Presentations referencing similar topics