publications

2014

1. 

   Seven Concurrency Models in Seven Weeks: When Threads Unravel

   Paul Butcher

   2014

   Bib Website

   @book{butcher2014seven,
     title = {Seven Concurrency Models in Seven Weeks: When Threads Unravel},
     author = {Butcher, Paul},
     year = {2014},
     publisher = {The Pragmatic Bookshelf},
   }

2009

1. 

   Debug it!: Find, repair, and prevent bugs in your code

   Paul Butcher

   2009

   Bib Website

   @book{butcher2009debug,
     author = {Butcher, Paul},
     year = {2009},
     publisher = {Pragmatic Bookshelf},
   }

1994

1. Global synchronisation in Linda

   Paul Butcher, Alan Wood, and Martin Atkins

   Concurrency: practice and experience 1994

   Bib PDF

   @article{butcher1994global,
     title = {Global synchronisation in Linda},
     author = {Butcher, Paul and Wood, Alan and Atkins, Martin},
     journal = {Concurrency: practice and experience},
     volume = {6},
     number = {6},
     pages = {505--516},
     year = {1994},
     publisher = {Wiley Online Library},
   }

1991

1. A behavioural semantics for Linda-2

   Paul Butcher

   Software engineering journal 1991

   Bib

   @article{butcher1991behavioural,
     title = {A behavioural semantics for Linda-2},
     author = {Butcher, Paul},
     journal = {Software engineering journal},
     volume = {6},
     number = {4},
     pages = {196--204},
     year = {1991},
     publisher = {IET}
   }