- Vivi Padova
- Il Bo
Giovedì 21 Luglio 2016 alle ore 10:00 in Aula 2AB45, Patrick Cousot (New York University, USA) terrà un seminario dal titolo “Invariance proof methods for weakly consistent parallelism”.
We design an invariance proof method for concurrent programs parameterised by a weak consistency model. This generalises Lamport/Owicki-Gries method for sequential consistency. We use the cat language to write specifications of consistency models as well as concurrent program specifications.