Sébastien Briais

	2007
6		Sébastien Briais, Uwe Nestmann: Open bisimulation, revisited. Theor. Comput. Sci. 386(3): 236-271 (2007)
5		Sébastien Briais, Uwe Nestmann: A formal semantics for protocol narrations. Theor. Comput. Sci. 389(3): 484-511 (2007)
	2006
4		Sébastien Briais, Uwe Nestmann: Open Bisimulation, Revisited. Electr. Notes Theor. Comput. Sci. 154(3): 109-123 (2006)
	2005
3		Sébastien Briais, Uwe Nestmann: A Formal Semantics for Protocol Narrations. TGC 2005: 163-181
	2004
2		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

Coauthor Index

1	Johannes Borgström	[2]
2	Uwe Nestmann	[1] [2] [3] [4] [5] [6]