@inproceedings{information_flow03,
	author = "de Alfaro, L. and M. Faella", 
	title = "Information Flow in Concurrent Games", 
        editor    = {J. C. M. Baeten and
               J. K. Lenstra and J. Parrow and G. J. Woeginger},
	booktitle = {Automata, Languages and Programming, 
               30th International Colloquium,
               ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.},
	publisher = {Springer}, 
	series    = {Lecture Notes in Computer Science},
	year      = 2003,
        volume    = {2719},
        pages     = "1038--1053",
        isbn      = {3-540-40493-7}
	}