Laura Bocchi - ETAPS 2019

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

Registered user since Thu 7 Mar 2019

Name:Laura Bocchi

Country:United Kingdom

Affiliation:University of Kent

Personal website: https://www.cs.kent.ac.uk/people/staff/lb514/

Contributions

2019

BEHAPI

ESOP

Asynchronous timed session types: duality and time-sensitive processes

Show activities from other conferences

ETAPS 2019-profile
View general profile