• An Event-Based Structural Oper...

*Result*: An Event-Based Structural Operational Semantics of Multi-Threaded Java.

Title:
An Event-Based Structural Operational Semantics of Multi-Threaded Java.
Authors:
Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing
Source:
Formal Syntax and Semantics of Java. :157-200
Availability:
https://dblp.org/rec/conf/java/CenciarelliKRW99
Database:
dblp computer science bibliography