SCHWINGHAMMER, Jan, SABEL, David, NIEHREN, Joachim und SCHMIDT-SCHAUSS, Manfred, 2009. On correctness of buffer implementations in a concurrent lambda calculus with futures. March 2, 2009 and May 12, 2009. Frankfurt am Main: Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik. Technical report Frank, 37.
Elsevier - Harvard (with titles)Schwinghammer, J., Sabel, D., Niehren, J., Schmidt-Schauß, M., 2009. On correctness of buffer implementations in a concurrent lambda calculus with futures, March 2, 2009 and May 12, 2009. ed, Technical report Frank, Technical report Frank. Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Frankfurt am Main. https://doi.org/urn:nbn:de:hebis:30-67253
American Psychological Association 7th editionSchwinghammer, J., Sabel, D., Niehren, J., & Schmidt-Schauß, M. (ca. 2009). On correctness of buffer implementations in a concurrent lambda calculus with futures [Cd]. In Technical report Frank (March 2, 2009 and May 12, 2009). Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik. https://doi.org/urn:nbn:de:hebis:30-67253
Springer - Basic (author-date)Schwinghammer J, Sabel D, Niehren J, Schmidt-Schauß M (2009) On correctness of buffer implementations in a concurrent lambda calculus with futures, March 2, 2009 and May 12, 2009. Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Frankfurt am Main
Juristische Zitierweise (Stüber) (Deutsch)Schwinghammer, Jan/ Sabel, David/ Niehren, Joachim/ Schmidt-Schauß, Manfred, On correctness of buffer implementations in a concurrent lambda calculus with futures, March 2, 2009 and May 12, 2009 , Frankfurt am Main 2009.