Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing. An Event-Based Structural Operational Semantics of Multi-Threaded Java. In Jim Alves-Foss, editor, Formal Syntax and Semantics of Java. Volume 1523 of Lecture Notes in Computer Science, pages 157-200, Springer, 1999. [doi]
Abstract is missing.