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

Paul Gastin, Benjamin Lerman, Marc Zeitoun. Distributed Games with Causal Memory Are Decidable for Series-Parallel Systems. In Kamal Lodaya, Meena Mahajan, editors, FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings. Volume 3328 of Lecture Notes in Computer Science, pages 275-286, Springer, 2004. [doi]

@inproceedings{GastinLZ04,
  title = {Distributed Games with Causal Memory Are Decidable for Series-Parallel Systems},
  author = {Paul Gastin and Benjamin Lerman and Marc Zeitoun},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3328&spage=275},
  researchr = {https://researchr.org/publication/GastinLZ04},
  cites = {0},
  citedby = {0},
  pages = {275-286},
  booktitle = {FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings},
  editor = {Kamal Lodaya and Meena Mahajan},
  volume = {3328},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-24058-6},
}