An event-based structural operational semantics of multi-threaded Java (1999)

by P Cenciarelli, A Knapp, B Reus, M Wirsing
Venue:Formal Syntax and Semantics of Java, Lecture Notes in Computer Science 1523