Back to Results
First PageMeta Content
Network architecture / Internet standards / Operating systems / User Datagram Protocol / Communications protocol / Internet Control Message Protocol / Port / V / Transmission Control Protocol / Computing / Data / Internet protocols


Timing UDP: mechanized semantics for sockets, threads and failures Keith Wansbrough Michael Norrish
Add to Reading List

Document Date: 2005-03-28 17:17:23

Open Document

File Size: 264,38 KB

Share Result on Facebook

Company

Honda / /

/

Facility

)d Store / Keith Wansbrough Michael Norrish Peter Sewell Andrei Serjantov Computer Laboratory / Stores A store Store / University of Cambridge / /

IndustryTerm

Internet Control Message Protocol / partial systems / Internet Protocol / labelled transition systems / na¨ıve heartbeat algorithm / distributed systems / arbitrary labelled transition systems / distributed infrastructure / /

Organization

Keith Wansbrough Michael Norrish Peter Sewell Andrei Serjantov Computer Laboratory / University of Cambridge / /

Person

Alan / Kurt / Keith Wansbrough Michael Norrish Peter / /

Position

application programmer / Experimental Semantics An application programmer / nondeterministic scheduler / player / /

Technology

na¨ıve heartbeat algorithm / ICMP protocols / operating system / UDP / DNS / IP / infrastructure algorithms / /

URL

www.cl.cam.ac.uk/users/pes20/Netsem / /

SocialTag