OCCAM. - David May 001 (ACM SIGPLAN Notices, 1983)

The Transputer Implementation of Occam. - David May 001; Roger Shepherd (FGCS, 1984)

OCCAM-an overview. - David May 001; Richard James Taylor (Microprocess. Microsystems, 1984)

Communicating Process Architecture: Transputers and Occam. - David May 001; Roger Shepherd; Catherine Keane (Future Parallel Computers, 1986)

The IMS T800 Transputer. - Mark Homewood; David May 001; David Shepherd; Roger Shepherd (IEEE Micro, 1987)

Occam and the transputer. - David May 001; Roger Shepherd (European Workshop on Applications and Theory in Petri Nets, 1988)

Towards Totally Verified Systems. - David May 001; David Shepherd (MPC, 1989)

The Next Generation Transputers and Beyond. - David May 001 (EDMCC, 1991)

How to Design a Parallel Computer. - David May 001 (ICCD, 1991)

The T9000 Transputer. - David May 001; Roger Shepherd; Peter Thompson 001 (ICCD, 1992)

Components for Computing and Communications. - David May 001 (SPAA, 1993)

A Simple Protocol to Communicate Channels over Channels. - Henk L. Muller; David May 001 (Euro-Par, 1998)

Using Interval Arithmetic the Calculate Data Sizes for Compilation to Multimedia Instruction Sets. - Neil Pollard; David May 001 (ACM Multimedia, 1998)

Microcaches. - David May 001; Dan Page; James Irwin; Henk L. Muller (HiPC, 1999)

Using Channels for Multimedia Communication. - David May 001; Henk L. Muller (IPPS/SPDP, 1999)

Hardware Migratable Channels (Research Note). - David May 001; Henk L. Muller; Shondip Sen (Euro-Par, 2000)

Non-deterministic Processors. - David May 001; Henk L. Muller; Nigel P. Smart (ACISP, 2001)

Random Register Renaming to Foil DPA. - David May 001; Henk L. Muller; Nigel P. Smart (CHES, 2001)

Predictable Instruction Caching for Media Processors. - James Irwin; David May 001; Henk L. Muller; Dan Page (ASAP, 2002)

Caches with Compositional Performance. - Henk L. Muller; Dan Page; James Irwin; David May 001 (Embedded Processor Design Challenges, 2002)

CSP, occam and Transputers. - David May 001 (25 Years Communicating Sequential Processes, 2004)

Communicating Process Architecture for Multicores. - David May 001 (CPA, 2007)

Invited Talk 1- Past, Present, and Future Communicating Processors. - David May 001 (NOCS, 2008)

A Design-for-Verification Framework for a Configurable Performance-Critical Communication Interface. - Suleiman Abu Kharmeh; Kerstin Eder; David May 001 (FORMATS, 2011)

Managing Complexity through Abstraction: A Refinement-Based Approach to Formalize Instruction Set Architectures. - Fangfang Yuan; Stephen Wright; Kerstin Eder; David May 001 (ICFEM, 2011)

Scalable data abstractions for distributed parallel computations - James W. Hanlon; Simon J. Hollis; David May 001 (CoRR, 2012)

Emulating a large memory sequential machine with a collection of small memory ones - James W. Hanlon; Simon J. Hollis; David May 001 (CoRR, 2012)

The XMOS Architecture and XS1 Chips. - David May 001 (IEEE Micro, 2012)

A Benes Based NoC Switching Architecture for Mixed Criticality Embedded Systems. - Steve Kerrison; David May 001; Kerstin Eder (MCSoC, 2016)

Garbage Collection for Edge Computing. - Andrés Amaya García; David May 001; Ed Nutting (SEC, 2020)

CSP, Occam, and Inmos. - David May 001 (Theories of Programming, 2021)

Integrated Hardware Garbage Collection. - Andrés Amaya García; David May 001; Ed Nutting (ACM Trans. Embed. Comput. Syst., 2021)

Lost In Translation: Exposing Hidden Compiler Optimization Opportunities. - Kyriakos Georgiou; Zbigniew Chamski; Andrés Amaya García; David May 001; Kerstin Eder (Comput. J., 2022)