NIEHREN, Joachim, SABEL, David, SCHMIDT-SCHAUSS, Manfred und SCHWINGHAMMER, Jan, 2006. Program equivalence for a concurrent lambda calculus with futures. Frankfurt am Main: Johann Wolfgang Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik, Research group for Artificial Intelligence and Software Technology.
Elsevier - Harvard (with titles)Niehren, J., Sabel, D., Schmidt-Schauß, M., Schwinghammer, J., 2006. Program equivalence for a concurrent lambda calculus with futures, Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik. Johann Wolfgang Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik, Research group for Artificial Intelligence and Software Technology, Frankfurt am Main. https://doi.org/urn:nbn:de:hebis:30-32230
American Psychological Association 7th editionNiehren, J., Sabel, D., Schmidt-Schauß, M., & Schwinghammer, J. (ca. 2006). Program equivalence for a concurrent lambda calculus with futures [Cd]. In Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik. Johann Wolfgang Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik, Research group for Artificial Intelligence and Software Technology. https://doi.org/urn:nbn:de:hebis:30-32230
Springer - Basic (author-date)Niehren J, Sabel D, Schmidt-Schauß M, Schwinghammer J (2006) Program equivalence for a concurrent lambda calculus with futures. Johann Wolfgang Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik, Research group for Artificial Intelligence and Software Technology, Frankfurt am Main
Juristische Zitierweise (Stüber) (Deutsch)Niehren, Joachim/ Sabel, David/ Schmidt-Schauß, Manfred/ Schwinghammer, Jan, Program equivalence for a concurrent lambda calculus with futures, Frankfurt am Main 2006.