- Applied A Brief Tutorial Peter Sewell
- The HOL Specification Scott Owens Susmit Sarkar Peter Sewell
- Applied { A Brief Tutorial Peter Sewell
- Flow Control in the Linux Network Stack Michael Smith, Steve Bishop
- Passive Attack Analysis for Connection-Based Anonymity Andrei Serjantov and Peter Sewell
- Binding and Substitution Susmit Sarkar and Peter Sewell and Francesco Zappa Nardelli
- 14{15 September, 2000 We have arranged to have the nal CONFER2 workshop on the 14-15 September
- On Implementations and Semantics of a Concurrent Programming Peter Sewell 1
- It is Time to Mechanize Programming Language Metatheory
- Global/Local Subtyping and Capability Inference for a Distributed calculus
- Design Rules and Abstractions (from branching and real time)
- Rigorous Protocol Design in Practice: An Optical PacketSwitch MAC in HOL
- Secure Composition of Untrusted Code: Wrappers and Causality Types
- Ott: Tool Support for Semantics version 0.20.1
- Rigour is good for you and feasible: reflections on formal treatments of
- Global AbstractionSafe Marshalling with Hash Types James J. Leifer + Gilles Peskine + Peter Sewell # Keith Wansbrough #
- The Semantics of Power and ARM Multiprocessor Machine The HOL Specification
- Technical Report Computer Laboratory
- Verifying Overlay Networks for Relocatable Computations (or: Nomadic Pict, relocated)
- TCP, UDP, and Sockets: rigorous and experimentallyvalidated behavioural specification
- 1 Host transition rules socket 1 succeed
- Engineering with Logic: HOL Specification and SymbolicEvaluation Testing for TCP Implementations
- TCP, UDP, and Sockets: Volume 3: The Servicelevel Specification
- Acute: High-Level Programming Language Design for Distributed Computation
- Secure Composition of Insecure Components Peter Sewell
- The UDP Calculus: Rigorous Semantics for Real Networking
- Global/Local Subtyping for a Distributed calculus Peter Sewell
- The Java Module System: Core Design and Semantic Definition Rok Strnisa Peter Sewell Matthew Parkinson
- Global Abstraction-Safe Marshalling with Hash Types James J. Leifer
- Safe Optimisations for Shared-Memory Concurrent Programs Jaroslav Sevcik
- Multiprocessor Architectures Don't Really Exist (But They Should)
- Reasoning about the Implementation of Concurrency Abstractions on x86-TSO
- Ott: Tool Support for Semantics version 0.20.3
- typevar, X type variable termvar, x term variable
- TCP, UDP, and Sockets: rigorous and experimentally-validated behavioural specification
- What Is This? This graph shows an approximation to the Host Transition
- The UDP Calculus: Rigorous Semantics for Real Networking
- Stenning's Protocol Implemented in UDP and Verified in Isabelle Michael Compton
- Under consideration for publication in J. Functional Programming 1 Ott: Effective Tool Support for the Working
- Technical Report Computer Laboratory
- Modules, Abstract Types, and Distributed Peter Sewell
- Technical Report Computer Laboratory
- Nomadic -Calculi: Expressing and Verifying Communication Infrastructure for Mobile Computation
- The Semantics of Power and ARM Multiprocessor Machine The HOL Specification
- Review report on EPSRC Grant GR/L62290/01 (01/07/98 30/06/01) Calculi for Interactive Systems: Theory and Experiment
- Lay Research Report PETER M SEWELL, Royal Society University Research Fellow
- approximation specification
- value name , x integer literal
- Modules, Abstract Types, and Distributed Peter Sewell
- Lay Research Report PETER M SEWELL, Royal Society University Research Fellow
- Rigorous Specification and Conformance Testing Techniques for Network Protocols, as applied to TCP, UDP,
- A rigorous approach to networking: TCP, from implementation to protocol to service
- Bisimulation is not Finitely (First Order) Equationally Axiomatisable Peter Sewell \Lambda
- Global/Local Subtyping for a Distributed calculus Peter Sewell
- From Rewrite Rules to Bisimulation Congruences Peter Sewell 1
- The Semantics of x86 Multiprocessor Machine Code The HOL Specification
- Secure Composition of Untrusted Code: Wrappers and Causality Types
- Ott: Tool Support for Semantics version 0.20.3
- The TCP Specification: A Quick Introduction Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith,
- Modules, Abstract Types, and Distributed Versioning Peter Sewell
- Formalizing Dynamic Software Updating Gavin Bierman + Michael Hicks # Peter Sewell + Gareth Stoyle +
- Acute: HighLevel Programming Language Design for Distributed Computation
- A rigorous approach to networking: TCP, from implementation to protocol to service
- Dynamic Rebinding for Marshalling and Update, with Destructtime #
- Timing UDP: mechanized semantics for sockets, threads and failures
- Working Draft of July 16, 2010 (Revision: 5190 ) --Please Do Not Distribute Mathematizing C++ Concurrency: The Isabelle/HOL model
- Rigorous Specification and Conformance Testing Techniques for Network Protocols, as applied to TCP, UDP,
- From Rewrite Rules to Bisimulation Congruences Peter Sewell 1
- Timing UDP: mechanized semantics for sockets, threads and failures
- Rigorous Protocol Design in Practice: An Optical Packet-Switch MAC in HOL
- experimentallyvalidated behavioural
- name , t , x , v ident , t i , x i , v i
- TypeSafe Distributed Programming for OCaml John Billings Peter Sewell Mark Shinwell Rok Strni sa
- Modules, Abstract Types, and Distributed Versioning Peter Sewell
- Nomadic Pict: Language and Infrastructure Design for Mobile Agents
- Verifying Fence Elimination Optimisations Viktor Vafeiadis1
- Flow Control in the Linux Network Stack Michael Smith, Steve Bishop
- dcl name of derived class Method, meth method name
- Revision: 5190 September 1, 2010 (A revision of N3132=10-0122) Mathematizing C++ Concurrency: The Post-Rapperswil Model
- Type-Safe Distributed Programming for OCaml John Billings Peter Sewell Mark Shinwell Rok Strnisa
- Binding and Substitution Susmit Sarkar and Peter Sewell and Francesco Zappa Nardelli
- The Algebra of Finite State Processes
- Under consideration for publication in J. Functional Programming 1 Ott: E#ective Tool Support for the Working
- Nomadic Pict: Correct Communication Infrastructure for Mobile Computation
- Nomadic -Calculi: Expressing and Verifying Communication Infrastructure for Mobile Computation
- Engineering with Logic: HOL Specification and Symbolic-Evaluation Testing for TCP Implementations
- Secure Composition of Insecure Components Peter Sewell
- The Algebra of Finite State Processes
- The UDP Calculus: Rigorous Semantics for Real Networking
- Draft of July 30, 2010 (Revision: 5351 ) Mathematizing C++ Concurrency
- Technical Report Computer Laboratory
- Cassandra: Distributed Access Control Policies with Tunable Expressiveness Moritz Y. Becker Peter Sewell
- The TCP Specification: A Quick Introduction Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith,
- Models for Name-Passing Processes: Interleaving and Gian Luca Cattani and Peter Sewell y
- Dynamic Rebinding for Marshalling and Update, with Destructtime #
- TCP, UDP, and Sockets: Volume 3: The Service-level Specification
- A Rely-Guarantee proof system for x86-TSO University of Leicester
- Models for Name-Passing Processes: Interleaving and Gian Luca Cattani
- SWIFT MAC Protocol: HOL Specification Adam Biltcliffe
- r repository unique identifier m module name
- Modules, Abstract Types, and Distributed Versioning
- TCP, UDP, and Sockets: rigorous and experimentallyvalidated behavioural specification
- Cassandra: Flexible Trust Management, Applied to Electronic Health Records Moritz Y. Becker Peter Sewell
- A Distributed Calculus with Local Areas of Communication Tom Chothia Ian Stark
- From Rewrite Rules to Bisimulation Congruences Peter Sewell 1
- Models for Name-Passing Processes: Interleaving and Causal (Extended Abstract)
- On Implementations and Semantics of a Concurrent Programming Peter Sewell 1
- The Implementation of HashCaml John Billings, Peter Sewell, Mark Shinwell and Rok Strnisa
- Memory, an Elusive Abstraction Peter Sewell
- Location-Independent Communication for Mobile Agents: a Two-Level Architecture
- Highlevel programming language design for distributed computation
- Secure Composition of Untrusted Code: Box , Wrappers, and Causality Types
- The Semantics of x86 Multiprocessor Machine Code The HOL Specification
- typevar , X type variable termvar , x term variable
- TCP, UDP, and Sockets: rigorous and experimentally-validated behavioural specification
- The HOL Specification Scott Owens Susmit Sarkar Peter Sewell
- A Trustworthy Monadic Formalization of the ARMv7 Instruction Set Architecture
- Models for Name-Passing Processes: Interleaving and Causal
- Nomadic Pict: Correct Communication Infrastructure for Mobile Computation
- High-level programming language design for distributed computation
- From Rewrite Rules to Bisimulation Congruences Peter Sewell 1
- Location Independence for Mobile Agents Peter Sewell Pawe/l T. Wojciechowski Benjamin C. Pierce
- Ott: Tool Support for Semantics version 0.20.1
- Nomadic Pict: Correct Communication Infrastructure for Mobile Computation
- The Implementation of HashCaml John Billings, Peter Sewell, Mark Shinwell and Rok Strni sa
- Nomadic Pict: Language and Infrastructure Design for Mobile
- Modules, Abstract Types, and Distributed Versioning Peter Sewell*
- Z, len integer ident, id identifier
- On Validity of Program Transformations in the Java Memory Model
- POWER and ARM Litmus Tests http://www.cl.cam.ac.uk/~pes20/ppc-supplemental
- CompCertTSO: A Verified Compiler for Relaxed-Memory Concurrency JAROSLAV SEV CIK, University of Cambridge
- Ott: Tool Support for Semantics version 0.21.1
- Ott: Tool Support for Semantics version 0.21.1
- Ott: Tool Support for Semantics version 0.21.2
- Ott: Tool Support for Semantics version 0.21.2
