Treffer: Program equivalence for a concurrent lambda calculus with futures

Titel:
Program equivalence for a concurrent lambda calculus with futures / Joachim Niehren, David Sabel, Manfred Schmidt-Schauß, Jan Schwinghammer
Verantwortlich:
Niehren, Joachim (Verfasser); Sabel, David (Verfasser) ; Schmidt-Schauß, Manfred (Verfasser); Schwinghammer, Jan (Verfasser)
Veröffent­licht:
Frankfurt am Main : Johann Wolfgang Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik, Research group for Artificial Intelligence and Software Technology, 2006
Vertrieb:
Frankfurt am Main : Universitätsbibliothek Johann Christian Senckenberg
Umfang:
1 Online-Ressource (28 Seiten)
Publikationstyp:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik ; 26

Zusatz-Informationen

Zusatz-Funktionen