Treffer: Program equivalences for concurrency abstractions in a concurrent lambda calculus with buffers, cells and futures

Titel:

Verantwortlich:

Entstehung:

2009

Umfang:

1 Online-Ressource

Publikationstyp:

E-Book

Sprache:

Englisch

Hochschulschrift:

Bachelorarbeit, Johann Wolfgang Goethe-Universität Frankfurt am Main, 2009

Schlagworte:

Zusatz-Informationen