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

Kim Larsen

Quantitative modal transition systems


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

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

No video player? Try HTML4 instead: HTML4 with MP4, HTML4 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.