Cristian Tapus, Jason Hickey. A Theory of Nested Speculative Execution. In Amy L. Murphy, Jan Vitek, editors, Coordination Models and Languages, 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings. Volume 4467 of Lecture Notes in Computer Science, pages 151-170, Springer, 2007. [doi]
Abstract is missing.