Sciweavers

JAVA
1999
Springer

An Event-Based Structural Operational Semantics of Multi-Threaded Java

14 years 3 months ago
An Event-Based Structural Operational Semantics of Multi-Threaded Java
Pietro Cenciarelli, Alexander Knapp, Bernhard Reus
Added 04 Aug 2010
Updated 04 Aug 2010
Type Conference
Year 1999
Where JAVA
Authors Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing
Comments (0)