| |
| 2007 | ||
|---|---|---|
| 1 | EE | Joachim Niehren, David Sabel, Manfred Schmidt-Schauß, Jan Schwinghammer: Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures. Electr. Notes Theor. Comput. Sci. 173: 313-337 (2007) |
| 1 | Joachim Niehren | [1] |
| 2 | Manfred Schmidt-Schauß | [1] |
| 3 | Jan Schwinghammer | [1] |