Few more words.

Still outrageously committing to test that the Git hook works well.
This commit is contained in:
Théophile Bastian 2016-07-18 13:43:49 +01:00
parent e5fcffe586
commit 468c1341e5
1 changed files with 7 additions and 0 deletions

View File

@ -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}