From 468c1341e5a13480fe13915f90522c0d392b0e19 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Th=C3=A9ophile=20Bastian?= Date: Mon, 18 Jul 2016 13:43:49 +0100 Subject: [PATCH] Few more words. Still outrageously committing to test that the Git hook works well. --- report.tex | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/report.tex b/report.tex index 5ca99ac..ebd0f4f 100644 --- a/report.tex +++ b/report.tex @@ -167,6 +167,13 @@ represented as a DAG in memory. The actual representation that was chosen is a set of nodes, each containing (as well as a few other information) a list of incoming and outgoing edges. +A \emph{game} is, in the literature, a simple ESP\@. However, to provide +interaction and composition operations, we have to somehow keep track of the +parallel compositions that were used to reach this game: if the user wants to +compose strategies on $A \strParallel B$ and $B \strParallel C$, we have to +remember that those games were indeed parallel compositions of the right games, +and not just a set where the events from, \eg, $A$ and $B$ are mixed. + %%%%%%%%%%%%%%%%%%%%%%%%%%%% \bibliography{biblio}