Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister. Optimal Instrumentation of Data-flow in Concurrent Data Structures. In Antonio Fernández Anta, Giuseppe Lipari, Matthieu Roy, editors, Principles of Distributed Systems - 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011. Proceedings. Volume 7109 of Lecture Notes in Computer Science, pages 497-512, Springer, 2011. [doi]
Abstract is missing.