On distributed probabilistic strategies
Add to your list(s)
Download to your calendar using vCal
If you have a question about this talk, please contact Peter Sewell.
I’ll talk about my main research occupation this last summer: extending concurrent strategies with probability and, if there’s time, an application to a definition of quantum games and strategies. The definitions and their properties rely on new results on probabilistic event structures. The work is part of a programme to investigate the feasibility of concurrent games and strategies as a new basis for semantics, in which types denote concurrent games and programs/processes denote strategies.
This talk is part of the Semantics Lunch (Computer Laboratory) series.
This talk is included in these lists:
Note that ex-directory lists are not shown.
|