Depending on session-typed processes - Toninho, Bernardo (2018)