ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Wed 10 Apr 2019 14:00 - 14:30 at SUN II - Concurrency and Distribution Chair(s): Luca Padovani

We present a behavioural typing system for a higher-order timed calculus, using types to model timed protocols (i.e., application-level specifications of interaction patterns among distributed applications), and the calculus to abstract implementations. Behavioural typing ensures that processes in the calculus will perform actions in the time-windows prescribed by their protocols. We introduce duality and subtyping relations for timed asynchronous session types. Duality includes a class of protocols that previous work on asynchronous timed session types could not type-check. Subtyping is critical for precision of our typing system, especially in the case of session delegation. The composition of dual timed asynchronous types enjoys progress when using an urgent receive semantics, in which receive actions are executed as soon as the expected message is available. Our calculus increases the modelling power of calculi used in the previous timed session work. Specifically, we add a blocking receive primitive with timeout, and a primitive that consumes an arbitrary amount of time in a given range.

Wed 10 Apr
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

esop-2019-papers
14:00 - 16:00: ESOP 2019 - Concurrency and Distribution at SUN II
Chair(s): Luca PadovaniUniversity of Turin
esop-2019-papers14:00 - 14:30
Talk
Laura BocchiUniversity of Kent, Maurizio Murgia, Vasco Thudichum Vasconcelos, Nobuko YoshidaImperial College London
Link to publication
esop-2019-papers14:30 - 15:00
Talk
Stephanie BalzerCarnegie Mellon University, Bernardo ToninhoImperial College London, Frank PfenningCarnegie Mellon University, USA
Link to publication
esop-2019-papers15:00 - 15:30
Talk
Ken SakayoriThe University of Tokyo, Takeshi TsukadaUniversity of Tokyo, Japan
Link to publication
esop-2019-papers15:30 - 16:00
Talk
Link to publication