Peter Sewell

From MaRDI portal
Person:236083

Available identifiers

zbMath Open sewell.peterMaRDI QIDQ236083

List of research outcomes





PublicationDate of PublicationType
Isla: integrating full-scale ISA semantics and axiomatic concurrency models (extended version)2024-11-04Paper
On implementations and semantics of a concurrent programming language2023-05-17Paper
A concurrency semantics for relaxed atomics that permits optimisation and avoids thin-air executions2016-10-24Paper
Lem: reusable engineering of real-world semantics2016-09-29Paper
Global abstraction-safe marshalling with hash types2015-07-02Paper
Nomadic pict2015-03-17Paper
Modules, abstract types, and distributed versioning2015-03-17Paper
Acute2015-01-06Paper
Ott2014-07-21Paper
Mathematizing C++ concurrency2014-04-10Paper
Relaxed-memory concurrency and verified compilation2014-04-10Paper
CompCertTSO2014-02-17Paper
Fences in weak memory models2012-09-27Paper
\(\pi\)-calculi2012-09-05Paper
Lem: A Lightweight Tool for Heavyweight Semantics2011-08-17Paper
Ott: Effective tool support for the working semanticist2010-03-17Paper
Acute: High-level programming language design for distributed computation2007-09-26Paper
Theorem Proving in Higher Order Logics2006-07-06Paper
https://portal.mardi4nfdi.de/entity/Q57144582006-01-02Paper
https://portal.mardi4nfdi.de/entity/Q47383622004-08-11Paper
Models for name-passing processes: Interleaving and causal2004-08-06Paper
From rewrite rules to bisimulation congruences2002-03-03Paper
https://portal.mardi4nfdi.de/entity/Q42190471998-11-15Paper
Nonaxiomatisability of equivalences over finite state processes1998-11-01Paper

Research outcomes over time

This page was built for person: Peter Sewell