


default search action
BibTeX records: David May 0001
@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} }

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.