Step in Tine: Forking Processes in Functional Choreographies
arxiv.org