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

We propose a process algebra for link layer protocols, featuring a unique mechanism for modelling the collision of data packets. We also formalise suitable liveness properties for link layer protocols specified in this framework. To show applicability we model and analyse two versions of the Carrier-Sense Multiple Access with Collision Avoidance (CSMA/CA) protocol. Our analysis confirms the hidden station problem for the version without virtual carrier sensing. However, we also show that the version with virtual carrier sensing overcomes not only this problem, but also the exposed station problem with probability 1. Yet the protocol cannot guarantee packet delivery, not even with probability 1.

Wed 10 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 16:00
Concurrency and DistributionESOP at SUN II
Chair(s): Luca Padovani University of Turin
14:00
30m
Talk
Asynchronous timed session types: duality and time-sensitive processes
ESOP
Laura Bocchi University of Kent, Maurizio Murgia , Vasco T. Vasconcelos University of Lisbon, Portugal, Nobuko Yoshida Imperial College London
Link to publication
14:30
30m
Talk
Manifest Deadlock-Freedom for Shared Session Types
ESOP
Stephanie Balzer Carnegie Mellon University, Bernardo Toninho Imperial College London, Frank Pfenning Carnegie Mellon University, USA
Link to publication
15:00
30m
Talk
A Categorical Model of an i/o-typed pi-calculus
ESOP
Ken Sakayori The University of Tokyo, Takeshi Tsukada University of Tokyo, Japan
Link to publication
15:30
30m
Talk
A Process Algebra for Link Layer Protocols
ESOP
Link to publication