WILLIG, Martina, 2009. Program equivalences for concurrency abstractions in a concurrent lambda calculus with buffers, cells and futures.
Elsevier - Harvard (with titles)Willig, M., 2009. Program equivalences for concurrency abstractions in a concurrent lambda calculus with buffers, cells and futures. https://doi.org/urn:nbn:de:hebis:30-67958
American Psychological Association 7th editionWillig, M. (ca. 2009). Program equivalences for concurrency abstractions in a concurrent lambda calculus with buffers, cells and futures [Cd]. https://doi.org/urn:nbn:de:hebis:30-67958
Springer - Basic (author-date)Willig M (2009) Program equivalences for concurrency abstractions in a concurrent lambda calculus with buffers, cells and futures
Juristische Zitierweise (Stüber) (Deutsch)Willig, Martina, Program equivalences for concurrency abstractions in a concurrent lambda calculus with buffers, cells and futures, 2009.