• Program equivalence for a conc...
  • *Description*

*Result*: Program equivalence for a concurrent lambda calculus with futures

*Title*:
Program equivalence for a concurrent lambda calculus with futures / Joachim Niehren, David Sabel, Manfred Schmidt-Schauß, Jan Schwinghammer
*Author/editor-in-chief*:
Niehren, Joachim (Verfasser); Sabel, David (Verfasser) ; Schmidt-Schauß, Manfred (Verfasser); Schwinghammer, Jan (Verfasser)
*Publication*:
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
*Distribution*:
Frankfurt am Main : Universitätsbibliothek Johann Christian Senckenberg
*Physical description scale*:
1 Online-Ressource (28 Seiten)
*Format*:
*eBook*
*Language*:
*eng*
*series_multipart*:
Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik ; 26

*Additional information*

*Additional functions*