Timing UDP: Mechanized semantics for sockets, threads, and failures

DOI10.1007/3-540-45927-8_20MaRDI QIDQ4738362zbMATH OpenFDO

Authors Keith Wansbrough, Michael Norrish, Peter Sewell, Andrei Serjantov

Publication date 11 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2305/23050278.htm

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)

Recommendations

• The UDP calculus: Rigorous semantics for real networking
• Distributed processes and location failures
• Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
• Distributed processes and location failures
• scientific article; zbMATH DE number 4084987

Cited in

(3)

• Specification and verification of concurrent programs through refinements
• Towards a structure-aware failure semantics for streaming media communication models
• The UDP calculus: Rigorous semantics for real networking

Describes a project that uses

Uses Software

• OCaml

This page was built for publication: Timing UDP: Mechanized semantics for sockets, threads, and failures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4738362)