Aarhus University / Newton Institute / Glynn Winskel University of Cambridge Computer Laboratory Abstract / /
IndustryTerm
concurrent and distributed systems / tensor product / real-life distributed systems / transition systems / asynchronous transition systems / distributed and concurrent systems / /
Organization
Glynn Winskel University of Cambridge Computer Laboratory Abstract / Aarhus University / Newton Institute / IEEE Computer Society / /
The Winning Ways of Concurrent Games Pierre Clairambault, Julian Gutierrez, Glynn Winskel University of Cambridge Computer Laboratory Abstract—A bicategory of concurrent games, where nondeterministic strategies are for