diff --git a/README.md b/README.md index b7ec0f6..b370c03 100644 --- a/README.md +++ b/README.md @@ -6,7 +6,7 @@ The approach and its underlying theory are described in the following papers: * Christian Bartolo Burlò, Adrian Francalanza and Alceste Scalas. *[Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper)](https://doi.org/10.1007/978-3-030-50086-3_13)*. FORTE 2020. ([Pesentation video](https://youtu.be/FL_teSjllSE)) -* Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani and Emilio Tuosto. *Towards Probabilistic Session-Type Monitoring*. COORDINATION 2021 (to appear). +* Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani and Emilio Tuosto. *Towards Probabilistic Session-Type Monitoring*. COORDINATION 2021 (to appear). **NOTE:** *to access the implementation of the probabilistic monitors switch branch to `pstmonitor`.* * Christian Bartolo Burlò, Adrian Francalanza and Alceste Scalas. *On the Monitorability of Session Types, in Theory and Practice*. ECOOP 2021 (to appear).