  We present Concurrent GV (CGV), a functional calculus with message-passing
concurrency governed by session types. With respect to prior calculi, CGV has
increased support for concurrent evaluation and for cyclic network topologies.
The design of CGV draws on APCP, a session-typed asynchronous pi-calculus
developed in prior work. Technical contributions are (i) the syntax, semantics,
and type system of CGV; (ii) a correct translation of CGV into APCP; (iii) a
technique for establishing deadlock-free CGV programs, by resorting to APCP's
priority-based type system.

Logic in Computer Science