> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Programming Languages and Systems: Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures Beteiligte: Wansbrough, Keith; Norrish, Michael; Sewell, Peter; Serjantov, Andrei Erschienen: Springer Berlin Heidelberg, 2002 Erschienen in: Programming Languages and Systems Sprache: Nicht zu entscheiden DOI: 10.1007/3-540-45927-8_20 ISSN: 0302-9743 Entstehung: Anmerkungen: