| |
| 2007 | ||
|---|---|---|
| 6 | EE | Sébastien Briais, Uwe Nestmann: Open bisimulation, revisited. Theor. Comput. Sci. 386(3): 236-271 (2007) |
| 5 | EE | Sébastien Briais, Uwe Nestmann: A formal semantics for protocol narrations. Theor. Comput. Sci. 389(3): 484-511 (2007) |
| 2006 | ||
| 4 | EE | Sébastien Briais, Uwe Nestmann: Open Bisimulation, Revisited. Electr. Notes Theor. Comput. Sci. 154(3): 109-123 (2006) |
| 2005 | ||
| 3 | EE | Sébastien Briais, Uwe Nestmann: A Formal Semantics for Protocol Narrations. TGC 2005: 163-181 |
| 2004 | ||
| 2 | EE | Johannes Borgström, Sébastien Briais, Uwe Nestmann: Symbolic Bisimulation in the Spi Calculus. CONCUR 2004: 161-176 |
| 2002 | ||
| 1 | Sébastien Briais, Uwe Nestmann: Mobile Objects "Must" Move Safely. FMOODS 2002: 129-146 | |
| 1 | Johannes Borgström | [2] |
| 2 | Uwe Nestmann | [1] [2] [3] [4] [5] [6] |