Update README.md

chrisbartoloburlo · Apr 23, 2021 · ca24f75 · ca24f75
1 parent 023a200
commit ca24f75
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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).