Rigorous Protocol Design in Practice: An Optical Packet-Switch MAC in HOL - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Adam Biltcliffe, Michael Dales, Sam Jansen, Tom Ridge, Peter Sewell. Rigorous Protocol Design in Practice: An Optical Packet-Switch MAC in HOL. In Proceedings of the 14th IEEE International Conference on Network Protocols, ICNP 2006, November 12-15, 2006, Santa Barbara, California, USA. pages 117-126, IEEE Computer Society, 2006. [doi]

This author has not been identified. Look up 'Adam Biltcliffe' in GoogleThis author has not been identified. Look up 'Michael Dales' in GoogleThis author has not been identified. Look up 'Sam Jansen' in GoogleThis author has not been identified. Look up 'Tom Ridge' in GoogleThis author has not been identified. Look up 'Peter Sewell' in Google

runs on WebDSL