Sciweavers

TACS
2001
Springer
15 years 2 months ago
The UDP Calculus: Rigorous Semantics for Real Networking
Network programming is notoriously hard to understand: one has to deal with a variety of protocols (IP, ICMP, UDP, TCP etc), concurrency, packet loss, host failure, timeouts, the c...
Andrei Serjantov, Peter Sewell, Keith Wansbrough
WWW
2005
ACM
15 years 10 months ago
SLL: running my web services on your WS platforms
Today, the choice for a particular programming language limits the alternative products that can be used to deploy the program. The purpose of this work is to break the strong tie...
Donald Kossmann, Christian Reichel