Stéphane Chatty, José Creissac Campos, María Paula González, Sophie Lepreux, Erik G. Nilsson, Victor M. Ruiz Penichet, Mónica Sara Santos, Jan Van den Bergh. Processes: Working Group Report. In Gavin J. Doherty, Ann Blandford, editors, Interactive Systems. Design, Specification, and Verification, 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers. Volume 4323 of Lecture Notes in Computer Science, pages 262-264, Springer, 2006. [doi]
Abstract is missing.