Hridesh Rajan, Gary T. Leavens. Ptolemy: A Language with Quantified, Typed Events. In Jan Vitek, editor, ECOOP 2008 - Object-Oriented Programming, 22nd European Conference, Paphos, Cyprus, July 7-11, 2008, Proceedings. Volume 5142 of Lecture Notes in Computer Science, pages 155-179, Springer, 2008. [doi]
Abstract is missing.