| |
| 2006 | ||
|---|---|---|
| 3 | EE | Daniel Hausmann, Till Mossakowski, Lutz Schröder: A coalgebraic approach to the semantics of the ambient calculus. Theor. Comput. Sci. 366(1-2): 121-143 (2006) |
| 2005 | ||
| 2 | EE | Daniel Hausmann, Till Mossakowski, Lutz Schröder: Towards a Coalgebraic Semantics of the Ambient Calculus. CALCO 2005: 232-246 |
| 1 | EE | Daniel Hausmann, Till Mossakowski, Lutz Schröder: Iterative Circular Coinduction for CoCasl in Isabelle/HOL. FASE 2005: 341-356 |
| 1 | Till Mossakowski | [1] [2] [3] |
| 2 | Lutz Schröder | [1] [2] [3] |