Paul Butcher

Debug It!: Find, Repair, and Prevent Bugs in Your Code

Paul Butcher, 2009 .

Seven Concurrency Models in Seven Weeks: When Threads Unravel

Paul Butcher, 2014 .

Lucinda - A Polymorphic Linda

Hussein Zedan, Paul Butcher, H. Zedan, 1991, Research Directions in High-Level Parallel Programming Languages.

Lucinda—an overview

Hussein Zedan, Paul Butcher, H. Zedan, 1991, SIGP.

Global synchronisation in Linda

Paul Butcher, Martin Atkins, Alan C. Wood, 1994, Concurr. Pract. Exp..

A behavioural semantics for Linda-2

Paul Butcher, 1991, Softw. Eng. J..

Security-Hardening Software Libraries with Ada and SPARK - A TCP Stack Use Case pdf

Yannick Moy, Kyriakos Georgiou, Paul Butcher, 2021, ArXiv.