Selected publications at LSV: 2004

P. Gastin, B. Lerman and M. Zeitoun. Distributed games with causal memory are decidable for series-parallel systems. In Proceedings of the 24th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'04), Chennai, India, December 2004, LNCS 3328, pages 275-286. Springer. ( PDF | PS | PS.GZ )

Abstract:: This paper deals with distributed control problems by means of distributed games played on Mazurkiewicz traces. The main difference with other notions of distributed games recently introduced is that, instead of having a local view, strategies and controllers are able to use a more accurate memory, based on their causal view. Our main result states that using the causal view makes the control synthesis problem decidable for series-parallel systems for all recognizable winning conditions on finite behaviors, while this problem with local view was proved undecidable even for reachability conditions.

`@inproceedings{GaLeZe04fsttcs,`
	`address =`	`{Chennai, India},`
	`author =`	`{Gastin, Paul and Lerman, Benjamin and Zeitoun, Marc},`
	`booktitle =`	`{{P}roceedings of the 24th {C}onference on {F}oundations of {S}oftware {T}echnology and {T}heoretical {C}omputer {S}cience ({FSTTCS}'04)},`
	`editor =`	`{Lodaya, Kamal and Mahajan, Meena},`
	`month =`	`dec,`
	`pages =`	`{275-286},`
	`publisher =`	`{Springer},`
	`series =`	`{Lecture Notes in Computer Science},`
	`title =`	`{Distributed games with causal memory are decidable for series-parallel systems},`
	`url =`	`{http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/GLZ-fsttcs04.pdf},`
	`volume =`	`{3328},`
	`year =`	`{2004},`
`}`

About LSV