On games and models -- Glynn Winskel

Duration: 32 mins 54 secs
Share this media item:
Embed this media item:


About this item
Description: (No description)
 
Created: 2020-04-01 18:08
Collection: Online Workshop: Resources and Co-Resources: A Junction between Semantics and Descriptive Complexity
Publisher: University of Cambridge
Copyright: Glynn Wynskel
Language: eng (English)
 
Abstract: I'd like to present some very early ideas being developed with Adam Ó Conghaile and Sasha Huriot on extensions of concurrent games which it's intended will help unify game theoretic, algebraic and resource considerations.

slides: https://www.cst.cam.ac.uk/sites/www.cst.cam.ac.uk/files/gamesformodels.pdf
Available Formats
Format Quality Bitrate Size
MPEG-4 Video 1280x720    2.43 Mbits/sec 599.96 MB View Download
MPEG-4 Video 640x360    696.81 kbits/sec 167.91 MB View Download
WebM 640x360    270.14 kbits/sec 65.10 MB View Download
iPod Video 480x360    518.56 kbits/sec 124.96 MB View Download
MP3 44100 Hz 249.75 kbits/sec 59.24 MB Listen Download
Auto * (Allows browser to choose a format it supports)