Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!
  • Program equivalence for a conc...
  • Bestand

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
Beteiligt:
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)
Format:
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