dc.contributor.author	Ridge, Tom
dc.contributor.author	Norrish, Michael
dc.contributor.author	Sewell, Peter
dc.date.accessioned	2015-12-10T22:30:31Z
dc.date.issued	2008
dc.date.updated	2016-06-14T09:18:24Z
dc.identifier.isbn	9783540682356
dc.identifier.uri	http://hdl.handle.net/1885/55124
dc.publisher	Springer
dc.relation.ispartof	International Symposium of Formal Methods Europe
dc.relation.isversionof	1st Edition
dc.subject	Keywords: Executable codes; Heidelberg (CO); International symposium; Level model; Proof assistants; Protocol modeling; Protocol specifications; Real world; Rigorous approach; Testing infrastructure; Formal logic; Formal methods; Network protocols; Specifications;
dc.title	A rigorous approach to networking: TCP, from implementation to protocol to service
dc.type	Book chapter
local.bibliographicCitation.lastpage	309
local.bibliographicCitation.placeofpublication	Berlin, Germany
local.bibliographicCitation.startpage	294
local.contributor.affiliation	Ridge, Tom, University of Cambridge
local.contributor.affiliation	Norrish, Michael, College of Engineering and Computer Science, ANU
local.contributor.affiliation	Sewell, Peter, University of Cambridge
local.contributor.authoremail	u4087502@anu.edu.au
local.contributor.authoruid	Norrish, Michael, u4087502
local.description.embargo	2037-12-31
local.description.notes	Imported from ARIES
local.identifier.absfor	080203 - Computational Logic and Formal Languages
local.identifier.absfor	080503 - Networking and Communications
local.identifier.ariespublication	u8803936xPUB319
local.identifier.doi	10.1007/978-3-540-68237-0_21
local.identifier.scopusID	2-s2.0-47249165191
local.identifier.uidSubmittedBy	u8803936
local.type.status	Published Version

A rigorous approach to networking: TCP, from implementation to protocol to service

Downloads

Original bundle

Collections