Suche

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

Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing

In: Jim Alves-Foss (Hg.). Formal Syntax and Semantics of Java. Lect. Notes Comp. Sci. 1523, Springer, Berlin, 1999. S. 157-200.


Downloads: