Robin Milner Symposium 15-18th April 2012 | http://events.inf.ed.ac.uk/Milner2012
Milner symposium video

Davide Sangiorgi

Some remarks on bisimulation and coinduction


Video not working? Try another format: MP4, WebM, or MOV.

Audio but no video? Try another browser (e.g. Chrome)

No video player? Try HTML5 instead: HTML5 with MP4, HTML5 with WebM.

Still no luck? Try downloading: MP4, WebM, or MOV.

Can't play the downloaded file? Try VLAN.

Jittery video? Server unresponsive? Try the Milner Server instead.