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]

Authors

Paul Gastin

This author has not been identified. Look up 'Paul Gastin' in Google

Benjamin Lerman

This author has not been identified. Look up 'Benjamin Lerman' in Google

Marc Zeitoun

This author has not been identified. Look up 'Marc Zeitoun' in Google