Mercoledì 28 maggio, alle 12.15 nell'Aula magna della palazzina C del Dipartimento di Informatica in viale Regina Elena 295, si terrà il prossimo appuntamento della serie Distinguished lectures, promosso dal Dipartimento di Informatica.
L'ospite sarà Rob van Glabbeek (University of Edinburgh) che svolgerà un intervento dal titolo Mutual Exclusion: verification and impossibilities, sul problema della mutua esclusione.
Distinguished lecture series, Rob van Glabbeek
