Modelling Concurrent Programs as Multi-Player Games of Imperfect Information against Nature

Concurrent programs exists all around us. Whether someone is liking a photo on a social media platform or whether someone is doing a bank-transaction, concurrency is acting behind the scenes. Due to the nature of concurrent pro- grams having multiple Users, or Threads, a range of different problems...

Full description

Bibliographic Details
Main Authors: Glimmerfors, Tobias, Olander Ålund, Simon
Format: Others
Language:English
Published: KTH, Skolan för elektroteknik och datavetenskap (EECS) 2020
Subjects:
Online Access:http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-280337