Treffer: On correctness of buffer implementations in a concurrent lambda calculus with futures
Titel:
On correctness of buffer implementations in a concurrent lambda calculus with futures / Jan Schwinghammer, David Sabel, Joachim Niehren, and Manfred Schmidt-Schauß
Verantwortlich:
Ausgabe:
March 2, 2009 and May 12, 2009
Veröffentlicht:
Frankfurt am Main : Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, 2009
Umfang:
1 Online-Ressource
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Technical report Frank ; 37
alle Bände anzeigen
alle Bände anzeigen
Anmerkungen:
Dokument liegt in zwei Versionen vor: 2. März 2009, 12. Mai 2009
Schlagworte: