( en | de | ru )

 

Disambiguierung von "Sewell, Peter"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Better x86 Memory Model: x86-TSO.

, , und . TPHOLs, Volume 5674 von Lecture Notes in Computer Science, Seite 391-407. Springer, (2009)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

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)
 

Weitere Publikationen von Autoren mit dem selben Namen

Rigour is good for you and feasible: reflections on formal treatments of C and UDP sockets., , und . ACM SIGOPS European Workshop, Seite 49-53. ACM, (2002)Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures., , , und . ESOP, Volume 2305 von Lecture Notes in Computer Science, Seite 278-294. Springer, (2002)False Concurrency and Strange-but-True Machines - (Abstract).. CONCUR, Volume 7454 von Lecture Notes in Computer Science, Seite 37-38. Springer, (2012)Global/Local Subtyping and Capability Inference for a Distributed pi-calculus.. ICALP, Volume 1443 von Lecture Notes in Computer Science, Seite 695-706. Springer, (1998)A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service., , und . FM, Volume 5014 von Lecture Notes in Computer Science, Seite 294-309. Springer, (2008)Mixed-size concurrency: ARM, POWER, C/C++11, and SC., , , , , , , , und . POPL, Seite 429-442. ACM, (2017)Nomadic pict: correct communication infrastructure for mobile computation., und . POPL, Seite 116-127. ACM, (2001)ACM SIGPLAN Notices 36(3), March 2001.Modelling the ARMv8 architecture, operationally: concurrency and ISA., , , , , , , und . POPL, Seite 608-621. ACM, (2016)Understanding POWER multiprocessors., , , , und . PLDI, Seite 175-186. ACM, (2011)ARMv8-A System Semantics: Instruction Fetch in Relaxed Architectures., , , , , , und . ESOP, Volume 12075 von Lecture Notes in Computer Science, Seite 626-655. Springer, (2020)