DMCA

An Event-Based Structural Operational Semantics of Multi-Threaded Java (1998)

by Pietro Cenciarelli , Alexander Knapp , Bernhard Reus , Martin Wirsing
Venue:Formal Syntax and Semantics of Java, volume 1523 of Lecture Notes in Computer Science
Citations:39 - 1 self