Distributed Games with Causal Memory Are Decidable for Series-Parallel Systems.

Paul Gastin Benjamin Lerman Marc Zeitoun

Published in: FSTTCS (2004)

Keyphrases

series parallel
distributed systems
special case
search algorithm
computer networks
genetic algorithm
bayesian networks