65 citations · 340 across the 42 of their papers we have counts for
4 papers · 1 filter
Characteristic Formulae for Session Types (extended version)
Julien Lange, Nobuko Yoshida
Subtyping is a crucial ingredient of session type theory and its applications, notably to programming language implementations. In this paper, we study effective ways to check whet…
Reversing Single Sessions
Francesco Tiezzi, Nobuko Yoshida
Session-based communication has gained a widespread acceptance in practice as a means for developing safe communicating systems via structured interactions. In this paper, we inves…
Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion
Søren Debois, Thomas Hildebrandt, Tijs Slaats +1
We present the first session typing system guaranteeing request-response liveness properties for possibly non-terminating communicating processes. The types augment the branch and…
Core Higher-Order Session Processes: Tractable Equivalences and Relative Expressiveness
Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida
This work proposes tractable bisimulations for the higher-order pi-calculus with session primitives (HOpi) and offers a complete study of the expressivity of its most significant s…