Engineering with Logic: Rigorous Test-Oracle Specification and Validation for TCP/IP and the Sockets API von Bishop, Steve, Fairbairn, Matthew, Mehnert, Hannes, Norrish, Michael, Ridge, Tom, Sewell, Peter, Smith, Michael, Wansbrough, Keith

Volltext

Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction von SEWELL, PETER, STOYLE, GARETH, HICKS, MICHAEL, BIERMAN, GAVIN, WANSBROUGH, KEITH

Volltext

Acute: High-level programming language design for distributed computation von SEWELL, PETER, LEIFER, JAMES J., WANSBROUGH, KEITH, NARDELLI, FRANCESCO ZAPPA, ALLEN-WILLIAMS, MAIR, HABOUZIT, PIERRE, VAFEIADIS, VIKTOR

Volltext

Identifying data items von Keith Wansbrough, Alistair Dundas

Volltext bestellen

Resource management for reliability von Tregenza Dancer, Colin, Overton, Mark Edward, Wansbrough, Keith Stuart

Volltext bestellen

RESOURCE MANAGEMENT FOR RELIABILITY von OVERTON, Mark Edward, TREGENZA DANCER, Colin, WANSBROUGH, Keith Stuart

Volltext bestellen

RESOURCE MANAGEMENT FOR RELIABILITY von OVERTON, Mark Edward, TREGENZA DANCER, Colin, WANSBROUGH, Keith Stuart

Volltext bestellen

Identifying data items von Wansbrough Keith, Dundas Alistair

Volltext bestellen

Operating a user device von Keith Wansbrough, Matthew Williams, Andrew Munro Caldwell

Volltext bestellen

Identifying data items von KEITH WANSBROUGH, ALISTAIR DUNDAS

Volltext bestellen

IDENTIFYING DATA ITEMS von DUNDAS ALISTAIR, WANSBROUGH KEITH

Volltext bestellen

IDENTIFYING DATA ITEMS von DUNDAS, ALISTAIR, WANSBROUGH, KEITH

Volltext bestellen

Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures von Wansbrough, Keith, Norrish, Michael, Sewell, Peter, Serjantov, Andrei

Volltext

OPERATING A USER DEVICE von WANSBROUGH KEITH, CALDWELL ANDREW, WILLIAMS MATTHEW

Volltext bestellen

Operating a user device von KEITH WANSBROUGH, MATTHEW WILLIAMS, ANDREW CALDWELL

Volltext bestellen

The UDP Calculus: Rigorous Semantics for Real Networking von Serjantov, Andrei, Sewell, Peter, Wansbrough, Keith

Volltext

Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations von Bishop, Steve, Fairbairn, Matthew, Norrish, Michael, Sewell, Peter, Smith, Michael, Wansbrough, Keith

Volltext

Dynamic rebinding for marshalling and update, with destruct-time ? von Bierman, Gavin, Hicks, Michael, Sewell, Peter, Stoyle, Gareth, Wansbrough, Keith

Volltext

Acute: high-level programming language design for distributed computation von Sewell, Peter, Leifer, James J., Wansbrough, Keith, Nardelli, Francesco Zappa, Allen-Williams, Mair, Habouzit, Pierre, Vafeiadis, Viktor

Volltext

Global abstraction-safe marshalling with hash types von Leifer, James J., Peskine, Gilles, Sewell, Peter, Wansbrough, Keith

Volltext