Suche

From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics

Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing

In: Michael Johnson (Hg.). Proc. 6th Int. Conf. Algebraic Methodology and Software Technology. Lect. Notes Comp. Sci. 1349. Springer, Berlin, 1997. S. 75-90


Downloads: