( en | de | ru )

 

Disambiguation of "Sewell, Peter"

Author of the publication

copydeleteadd this publication to your clipboard
A Better x86 Memory Model: x86-TSO.

, , and . TPHOLs, volume 5674 of Lecture Notes in Computer Science, page 391-407. Springer, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Christopher Sewell

Thomas Sewell

Tanja Elisabeth Peters

George Gershwins und Jerome Kerns Musicalsongs: ihre Ähnlichkeit, Wahrnehmung und musikalische Struktur. Uni Köln, (2008)

Andre Peters

Description and determination of soil hydraulic properties on the laboratory scale. TU Braunschweig, (2008)

Jillian Petersen

Diversity and ecology of chemosynthetic symbioses in deep-sea invertebrates. Uni Bremen, (2009)
 

Other publications of authors with the same name

False Concurrency and Strange-but-True Machines - (Abstract).. CONCUR, volume 7454 of Lecture Notes in Computer Science, page 37-38. Springer, (2012)Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures., , , and . ESOP, volume 2305 of Lecture Notes in Computer Science, page 278-294. Springer, (2002)A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service., , and . FM, volume 5014 of Lecture Notes in Computer Science, page 294-309. Springer, (2008)Through computer architecture, darkly., , , , and . Commun. ACM, 62 (6): 25-27 (2019)Global/Local Subtyping and Capability Inference for a Distributed pi-calculus.. ICALP, volume 1443 of Lecture Notes in Computer Science, page 695-706. Springer, (1998)Rigour is good for you and feasible: reflections on formal treatments of C and UDP sockets., , and . ACM SIGOPS European Workshop, page 49-53. ACM, (2002)ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS., , , , , , , , , and 4 other author(s). Proc. ACM Program. Lang., 3 (POPL): 71:1-71:31 (2019)Nomadic pict: Programming languages, communication infrastructure overlays, and semantics for mobile computation., , and . ACM Trans. Program. Lang. Syst., 32 (4): 12:1-12:63 (2010)ARMv8-A System Semantics: Instruction Fetch in Relaxed Architectures., , , , , , and . ESOP, volume 12075 of Lecture Notes in Computer Science, page 626-655. Springer, (2020)Verified Security for the Morello Capability-enhanced Prototype Arm Architecture., , , , , , , , and . ESOP, volume 13240 of Lecture Notes in Computer Science, page 174-203. Springer, (2022)