Christian Bartolo Burlò -

Registered user since Fri 30 Apr 2021

Name:Christian Bartolo Burlò

Country:Italy

Affiliation:Gran Sasso Science Institute

X (Twitter): https://x.com/bartoloburlo

GitHub: https://github.com/chrisbartoloburlo

Research interests:Runtime Verification, Behavioural Types

Contributions

2021

ECOOP

Author of On the Monitorability of Session Types, in Theory and Practice within the ECOOP Technical Papers-track
Author of On the Monitorability of Session Types, in Theory and Practice within the ECOOP Artifacts-track