Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit. A Tracking Semantics for CSP. In Claude Bolduc, Jules Desharnais, Béchir Ktari, editors, Mathematics of Program Construction, 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings. Volume 6120 of Lecture Notes in Computer Science, pages 248-270, Springer, 2010. [doi]
Abstract is missing.