BibTeX records: David May 0001

download as .bib file

@article{DBLP:journals/cj/GeorgiouCGME22,
  author       = {Kyriakos Georgiou and
                  Zbigniew Chamski and
                  Andr{\'{e}}s Amaya Garc{\'{\i}}a and
                  David May and
                  Kerstin Eder},
  title        = {Lost In Translation: Exposing Hidden Compiler Optimization Opportunities},
  journal      = {Comput. J.},
  volume       = {65},
  number       = {3},
  pages        = {718--735},
  year         = {2022},
  url          = {https://doi.org/10.1093/comjnl/bxaa103},
  doi          = {10.1093/COMJNL/BXAA103},
  timestamp    = {Sun, 22 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/GeorgiouCGME22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/GarciaMN21,
  author       = {Andr{\'{e}}s Amaya Garc{\'{\i}}a and
                  David May and
                  Ed Nutting},
  title        = {Integrated Hardware Garbage Collection},
  journal      = {{ACM} Trans. Embed. Comput. Syst.},
  volume       = {20},
  number       = {5},
  pages        = {40:1--40:25},
  year         = {2021},
  url          = {https://doi.org/10.1145/3450147},
  doi          = {10.1145/3450147},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tecs/GarciaMN21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/21/May21,
  author       = {David May},
  editor       = {Cliff B. Jones and
                  Jayadev Misra},
  title        = {CSP, Occam, and Inmos},
  booktitle    = {Theories of Programming: The Life and Works of Tony Hoare},
  series       = {{ACM} Books},
  volume       = {39},
  pages        = {271--284},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2021},
  url          = {https://doi.org/10.1145/3477355.3477368},
  doi          = {10.1145/3477355.3477368},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/mc/21/May21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieeesec/GarciaMN20,
  author       = {Andr{\'{e}}s Amaya Garc{\'{\i}}a and
                  David May and
                  Ed Nutting},
  title        = {Garbage Collection for Edge Computing},
  booktitle    = {5th {IEEE/ACM} Symposium on Edge Computing, {SEC} 2020, San Jose,
                  CA, USA, November 12-14, 2020},
  pages        = {319},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/SEC50012.2020.00044},
  doi          = {10.1109/SEC50012.2020.00044},
  timestamp    = {Tue, 02 Mar 2021 09:16:51 +0100},
  biburl       = {https://dblp.org/rec/conf/ieeesec/GarciaMN20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-11397,
  author       = {Kyriakos Georgiou and
                  Zbigniew Chamski and
                  Andr{\'{e}}s Amaya Garc{\'{\i}}a and
                  David May and
                  Kerstin Eder},
  title        = {Lost in translation: Exposing hidden compiler optimization opportunities},
  journal      = {CoRR},
  volume       = {abs/1903.11397},
  year         = {2019},
  url          = {http://arxiv.org/abs/1903.11397},
  eprinttype    = {arXiv},
  eprint       = {1903.11397},
  timestamp    = {Wed, 03 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1903-11397.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mcsoc/KerrisonME16,
  author       = {Steve Kerrison and
                  David May and
                  Kerstin Eder},
  title        = {A Benes Based NoC Switching Architecture for Mixed Criticality Embedded
                  Systems},
  booktitle    = {10th {IEEE} International Symposium on Embedded Multicore/Many-core
                  Systems-on-Chip, {MCSOC} 2016, Lyon, France, September 21-23, 2016},
  pages        = {125--132},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/MCSoC.2016.50},
  doi          = {10.1109/MCSOC.2016.50},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mcsoc/KerrisonME16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KerrisonME16,
  author       = {Steve Kerrison and
                  David May and
                  Kerstin Eder},
  title        = {A Benes Based NoC Switching Architecture for Mixed Criticality Embedded
                  Systems},
  journal      = {CoRR},
  volume       = {abs/1606.08686},
  year         = {2016},
  url          = {http://arxiv.org/abs/1606.08686},
  eprinttype    = {arXiv},
  eprint       = {1606.08686},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/KerrisonME16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/micro/May12,
  author       = {David May},
  title        = {The {XMOS} Architecture and {XS1} Chips},
  journal      = {{IEEE} Micro},
  volume       = {32},
  number       = {6},
  pages        = {28--37},
  year         = {2012},
  url          = {https://doi.org/10.1109/MM.2012.87},
  doi          = {10.1109/MM.2012.87},
  timestamp    = {Mon, 20 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/micro/May12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1210-1157,
  author       = {James W. Hanlon and
                  Simon J. Hollis and
                  David May},
  title        = {Scalable data abstractions for distributed parallel computations},
  journal      = {CoRR},
  volume       = {abs/1210.1157},
  year         = {2012},
  url          = {http://arxiv.org/abs/1210.1157},
  eprinttype    = {arXiv},
  eprint       = {1210.1157},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1210-1157.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1210-1158,
  author       = {James W. Hanlon and
                  Simon J. Hollis and
                  David May},
  title        = {Emulating a large memory sequential machine with a collection of small
                  memory ones},
  journal      = {CoRR},
  volume       = {abs/1210.1158},
  year         = {2012},
  url          = {http://arxiv.org/abs/1210.1158},
  eprinttype    = {arXiv},
  eprint       = {1210.1158},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1210-1158.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/KharmehEM11,
  author       = {Suleiman Abu Kharmeh and
                  Kerstin Eder and
                  David May},
  editor       = {Uli Fahrenberg and
                  Stavros Tripakis},
  title        = {A Design-for-Verification Framework for a Configurable Performance-Critical
                  Communication Interface},
  booktitle    = {Formal Modeling and Analysis of Timed Systems - 9th International
                  Conference, {FORMATS} 2011, Aalborg, Denmark, September 21-23, 2011.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6919},
  pages        = {335--351},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24310-3\_23},
  doi          = {10.1007/978-3-642-24310-3\_23},
  timestamp    = {Tue, 14 May 2019 10:00:38 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/KharmehEM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/YuanWEM11,
  author       = {Fangfang Yuan and
                  Stephen Wright and
                  Kerstin Eder and
                  David May},
  editor       = {Shengchao Qin and
                  Zongyan Qiu},
  title        = {Managing Complexity through Abstraction: {A} Refinement-Based Approach
                  to Formalize Instruction Set Architectures},
  booktitle    = {Formal Methods and Software Engineering - 13th International Conference
                  on Formal Engineering Methods, {ICFEM} 2011, Durham, UK, October 26-28,
                  2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6991},
  pages        = {585--600},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24559-6\_39},
  doi          = {10.1007/978-3-642-24559-6\_39},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/YuanWEM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nocs/May08,
  author       = {David May},
  title        = {Invited Talk 1- Past, Present, and Future Communicating Processors},
  booktitle    = {Second International Symposium on Networks-on-Chips, {NOCS} 2008,
                  5-6 April 2008, Newcastle University, {UK.} Proceedings},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.ieeecomputersociety.org/10.1109/NOCS.2008.36},
  doi          = {10.1109/NOCS.2008.36},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/nocs/May08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wotug/May07,
  author       = {David May},
  editor       = {Alistair A. McEwan and
                  Steve A. Schneider and
                  Wilson Ifill and
                  Peter H. Welch},
  title        = {Communicating Process Architecture for Multicores},
  booktitle    = {The 30th Communicating Process Architectures Conference, {CPA} 2007,
                  organised under the auspices of WoTUG and the University of Surrey,
                  Guildford, Surrey, UK, 8-11 July 2007},
  series       = {Concurrent Systems Engineering Series},
  volume       = {65},
  pages        = {21--32},
  publisher    = {{IOS} Press},
  year         = {2007},
  url          = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=5964},
  timestamp    = {Mon, 20 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wotug/May07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/May04,
  author       = {David May},
  editor       = {Ali E. Abdallah and
                  Cliff B. Jones and
                  Jeff W. Sanders},
  title        = {CSP, occam and Transputers},
  booktitle    = {Communicating Sequential Processes: The First 25 Years, Symposium
                  on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised
                  Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3525},
  pages        = {75--84},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11423348\_5},
  doi          = {10.1007/11423348\_5},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/May04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asap/IrwinMMP02,
  author       = {James Irwin and
                  David May and
                  Henk L. Muller and
                  Dan Page},
  title        = {Predictable Instruction Caching for Media Processors},
  booktitle    = {13th {IEEE} International Conference on Application-Specific Systems,
                  Architectures, and Processors {(ASAP} 2002), 17-19 July 2002, San
                  Jose, CA, {USA}},
  pages        = {141--150},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/ASAP.2002.1030713},
  doi          = {10.1109/ASAP.2002.1030713},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/asap/IrwinMMP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/samos/MullerPIM02,
  author       = {Henk L. Muller and
                  Dan Page and
                  James Irwin and
                  David May},
  editor       = {Ed F. Deprettere and
                  J{\"{u}}rgen Teich and
                  Stamatis Vassiliadis},
  title        = {Caches with Compositional Performance},
  booktitle    = {Embedded Processor Design Challenges: Systems, Architectures, Modeling,
                  and Simulation - {SAMOS}},
  series       = {Lecture Notes in Computer Science},
  volume       = {2268},
  pages        = {242--259},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45874-3\_14},
  doi          = {10.1007/3-540-45874-3\_14},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/samos/MullerPIM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acisp/MayMS01,
  author       = {David May and
                  Henk L. Muller and
                  Nigel P. Smart},
  editor       = {Vijay Varadharajan and
                  Yi Mu},
  title        = {Non-deterministic Processors},
  booktitle    = {Information Security and Privacy, 6th Australasian Conference, {ACISP}
                  2001, Sydney, Australia, July 11-13, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2119},
  pages        = {115--129},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-47719-5\_11},
  doi          = {10.1007/3-540-47719-5\_11},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/acisp/MayMS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ches/MayMS01,
  author       = {David May and
                  Henk L. Muller and
                  Nigel P. Smart},
  editor       = {{\c{C}}etin Kaya Ko{\c{c}} and
                  David Naccache and
                  Christof Paar},
  title        = {Random Register Renaming to Foil {DPA}},
  booktitle    = {Cryptographic Hardware and Embedded Systems - {CHES} 2001, Third International
                  Workshop, Paris, France, May 14-16, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2162},
  pages        = {28--38},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44709-1\_4},
  doi          = {10.1007/3-540-44709-1\_4},
  timestamp    = {Tue, 14 May 2019 10:00:47 +0200},
  biburl       = {https://dblp.org/rec/conf/ches/MayMS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/MayMS00,
  author       = {David May and
                  Henk L. Muller and
                  Shondip Sen},
  editor       = {Arndt Bode and
                  Thomas Ludwig and
                  Wolfgang Karl and
                  Roland Wism{\"{u}}ller},
  title        = {Hardware Migratable Channels (Research Note)},
  booktitle    = {Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference,
                  Munich, Germany, August 29 - September 1, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1900},
  pages        = {545--549},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44520-X\_74},
  doi          = {10.1007/3-540-44520-X\_74},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/europar/MayMS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hipc/MayPIM99,
  author       = {David May and
                  Dan Page and
                  James Irwin and
                  Henk L. Muller},
  editor       = {Prithviraj Banerjee and
                  Viktor K. Prasanna and
                  Bhabani P. Sinha},
  title        = {Microcaches},
  booktitle    = {High Performance Computing - HiPC'99, 6th International Conference,
                  Calcutta, India, December 17-20, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1745},
  pages        = {21--27},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-3-540-46642-0\_3},
  doi          = {10.1007/978-3-540-46642-0\_3},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/hipc/MayPIM99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/MayM99,
  author       = {David May and
                  Henk L. Muller},
  title        = {Using Channels for Multimedia Communication},
  booktitle    = {13th International Parallel Processing Symposium / 10th Symposium
                  on Parallel and Distributed Processing {(IPPS} / {SPDP} '99), 12-16
                  April 1999, San Juan, Puerto Rico, Proceedings},
  pages        = {93--98},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/IPPS.1999.760441},
  doi          = {10.1109/IPPS.1999.760441},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipps/MayM99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/MullerM98,
  author       = {Henk L. Muller and
                  David May},
  editor       = {David J. Pritchard and
                  Jeff Reeve},
  title        = {A Simple Protocol to Communicate Channels over Channels},
  booktitle    = {Euro-Par '98 Parallel Processing, 4th International Euro-Par Conference,
                  Southampton, UK, September 1-4, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1470},
  pages        = {591--600},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0057905},
  doi          = {10.1007/BFB0057905},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/europar/MullerM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mm/PollardM98,
  author       = {Neil Pollard and
                  David May},
  editor       = {Wolfgang Effelsberg and
                  Brian C. Smith},
  title        = {Using Interval Arithmetic the Calculate Data Sizes for Compilation
                  to Multimedia Instruction Sets},
  booktitle    = {Proceedings of the 6th {ACM} International Conference on Multimedia
                  '98, Bristol, England, September 12-16, 1998},
  pages        = {279--284},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/290747.290782},
  doi          = {10.1145/290747.290782},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mm/PollardM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/May93,
  author       = {David May},
  editor       = {Lawrence Snyder},
  title        = {Components for Computing and Communications},
  booktitle    = {Proceedings of the 5th Annual {ACM} Symposium on Parallel Algorithms
                  and Architectures, {SPAA} '93, Velen, Germany, June 30 - July 2, 1993},
  pages        = {68},
  publisher    = {{ACM}},
  year         = {1993},
  url          = {https://doi.org/10.1145/165231.165241},
  doi          = {10.1145/165231.165241},
  timestamp    = {Mon, 29 Jul 2024 11:07:21 +0200},
  biburl       = {https://dblp.org/rec/conf/spaa/May93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/MayST92,
  author       = {David May and
                  Roger Shepherd and
                  Peter Thompson},
  title        = {The {T9000} Transputer},
  booktitle    = {Proceedings 1992 {IEEE} International Conference on Computer Design:
                  {VLSI} in Computer {\&} Processors, {ICCD} '92, Cambridge, MA,
                  USA, October 11-14, 1992},
  pages        = {209--212},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/ICCD.1992.276250},
  doi          = {10.1109/ICCD.1992.276250},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccd/MayST92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edmcc/May91,
  author       = {David May},
  editor       = {Arndt Bode},
  title        = {The Next Generation Transputers and Beyond},
  booktitle    = {Distributed Memory Computing, 2nd European Conference, EDMCC2, Munich,
                  FRG, April 22-24, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {487},
  pages        = {7--22},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/BFb0032918},
  doi          = {10.1007/BFB0032918},
  timestamp    = {Fri, 17 Nov 2023 09:27:30 +0100},
  biburl       = {https://dblp.org/rec/conf/edmcc/May91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/May91,
  author       = {David May},
  title        = {How to Design a Parallel Computer},
  booktitle    = {Proceedings 1991 {IEEE} International Conference on Computer Design:
                  {VLSI} in Computer {\&} Processors, {ICCD} '91, Cambridge, MA,
                  USA, October 14-16, 1991},
  pages        = {2},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/ICCD.1991.139826},
  doi          = {10.1109/ICCD.1991.139826},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccd/May91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/MayS89,
  author       = {David May and
                  David Shepherd},
  editor       = {Jan L. A. van de Snepscheut},
  title        = {Towards Totally Verified Systems},
  booktitle    = {Mathematics of Program Construction, 375th Anniversary of the Groningen
                  University, International Conference, Groningen, The Netherlands,
                  June 26-30, 1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {375},
  pages        = {48--65},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51305-1\_4},
  doi          = {10.1007/3-540-51305-1\_4},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/MayS89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/MayS88,
  author       = {David May and
                  Roger Shepherd},
  editor       = {Grzegorz Rozenberg},
  title        = {Occam and the transputer},
  booktitle    = {Advances in Petri Nets 1989, covers the 9th European Workshop on Applications
                  and Theory in Petri Nets, held in Venice, Italy in June 1988, selected
                  papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {424},
  pages        = {329--353},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-52494-0\_36},
  doi          = {10.1007/3-540-52494-0\_36},
  timestamp    = {Fri, 17 Jul 2020 16:12:46 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/MayS88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/micro/HomewoodMSS87,
  author       = {Mark Homewood and
                  David May and
                  David Shepherd and
                  Roger Shepherd},
  title        = {The {IMS} {T800} Transputer},
  journal      = {{IEEE} Micro},
  volume       = {7},
  number       = {5},
  pages        = {10--26},
  year         = {1987},
  url          = {https://doi.org/10.1109/MM.1987.305012},
  doi          = {10.1109/MM.1987.305012},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/micro/HomewoodMSS87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/MaySK86,
  author       = {David May and
                  Roger Shepherd and
                  Catherine Keane},
  editor       = {Philip C. Treleaven and
                  Marco Vanneschi},
  title        = {Communicating Process Architecture: Transputers and Occam},
  booktitle    = {Future Parallel Computers, An Advanced Course, Pisa, Italy, June 9-20,
                  1986, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {272},
  pages        = {35--81},
  publisher    = {Springer},
  year         = {1986},
  url          = {https://doi.org/10.1007/3-540-18203-9\_2},
  doi          = {10.1007/3-540-18203-9\_2},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/ac/MaySK86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/MayT84,
  author       = {David May and
                  Richard James Taylor},
  title        = {OCCAM-an overview},
  journal      = {Microprocess. Microsystems},
  volume       = {8},
  number       = {2},
  pages        = {73--79},
  year         = {1984},
  url          = {https://doi.org/10.1016/0141-9331(84)90119-4},
  doi          = {10.1016/0141-9331(84)90119-4},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mam/MayT84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgcs/MayS84,
  author       = {David May and
                  Roger Shepherd},
  title        = {The Transputer Implementation of Occam},
  booktitle    = {Proceedings of the International Conference on Fifth Generation Computer
                  Systems, {FGCS} 1984, Tokyo, Japan, November 6-9, 1984},
  pages        = {533--541},
  publisher    = {{OHMSHA} Ltd. Tokyo and North-Holland},
  year         = {1984},
  timestamp    = {Wed, 31 Jul 2019 10:45:49 +0200},
  biburl       = {https://dblp.org/rec/conf/fgcs/MayS84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/May83,
  author       = {David May},
  title        = {{OCCAM}},
  journal      = {{ACM} {SIGPLAN} Notices},
  volume       = {18},
  number       = {4},
  pages        = {69--79},
  year         = {1983},
  url          = {https://doi.org/10.1145/948176.948183},
  doi          = {10.1145/948176.948183},
  timestamp    = {Tue, 26 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigplan/May83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}