Depending on session-typed processes

The authors would like to thank the anonymous reviews for their comments and suggestions. This work is partially supported by EPSRC EP/K034413/1, EP/K011715/1, EP/L00058X/1, EP/N027833/1, EP/N028201/1 and NOVA LINCS (UID/CEC/04516/2013).

Bibliographic Details
Main Author: Toninho, Bernardo (author)
Other Authors: Yoshida, Nobuko (author)
Format: conferenceObject
Language:eng
Published: 2019
Subjects:
Online Access:https://doi.org/10.1007/978-3-319-89366-2_7
Country:Portugal
Oai:oai:run.unl.pt:10362/74439
Description
Summary:The authors would like to thank the anonymous reviews for their comments and suggestions. This work is partially supported by EPSRC EP/K034413/1, EP/K011715/1, EP/L00058X/1, EP/N027833/1, EP/N028201/1 and NOVA LINCS (UID/CEC/04516/2013).