BibTeX records: George J. Milne

download as .bib file

@article{DBLP:journals/isse/CeroneM05,
  author       = {Antonio Cerone and
                  George J. Milne},
  title        = {Property verification of asynchronous systems},
  journal      = {Innov. Syst. Softw. Eng.},
  volume       = {1},
  number       = {1},
  pages        = {25--40},
  year         = {2005},
  url          = {https://doi.org/10.1007/s11334-005-0002-4},
  doi          = {10.1007/S11334-005-0002-4},
  timestamp    = {Thu, 13 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/isse/CeroneM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/LeeM05,
  author       = {Gareth Lee and
                  George J. Milne},
  title        = {Programming paradigms for reconfigurable computing},
  journal      = {Microprocess. Microsystems},
  volume       = {29},
  number       = {10},
  pages        = {435--450},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.micpro.2005.01.002},
  doi          = {10.1016/J.MICPRO.2005.01.002},
  timestamp    = {Wed, 11 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mam/LeeM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/KelsoM05,
  author       = {Joel Kelso and
                  George J. Milne},
  editor       = {Farn Wang},
  title        = {Properties as Processes: Their Specification and Verification},
  booktitle    = {Formal Techniques for Networked and Distributed Systems - {FORTE}
                  2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
                  October 2-5, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3731},
  pages        = {503--517},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11562436\_36},
  doi          = {10.1007/11562436\_36},
  timestamp    = {Wed, 11 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/forte/KelsoM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Milne06,
  author       = {George J. Milne},
  editor       = {Luca Aceto and
                  Andrew D. Gordon},
  title        = {Modelling Dynamically Changing Hardware Structure},
  booktitle    = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
                  {APC} 25, Bertinoro, Italy, August 1-5, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {162},
  pages        = {249--254},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.12.091},
  doi          = {10.1016/J.ENTCS.2005.12.091},
  timestamp    = {Fri, 20 Jan 2023 12:38:53 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Milne06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpl/LeeM03,
  author       = {Gareth Lee and
                  George J. Milne},
  editor       = {Peter Y. K. Cheung and
                  George A. Constantinides and
                  Jos{\'{e}} T. de Sousa},
  title        = {Building Run-Time Reconfigurable Systems from Tiles},
  booktitle    = {Field Programmable Logic and Application, 13th International Conference,
                  {FPL} 2003, Lisbon, Portugal, September 1-3, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2778},
  pages        = {252--261},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45234-8\_25},
  doi          = {10.1007/978-3-540-45234-8\_25},
  timestamp    = {Thu, 12 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fpl/LeeM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpt/LeeM02,
  author       = {Gareth Lee and
                  George J. Milne},
  title        = {A methodology for design of run-time reconfigurable systems},
  booktitle    = {Proceedings of the 2002 {IEEE} International Conference on Field-Programmable
                  Technology, {FPT} 2002, Hong Kong, China, December 16-18, 2002},
  pages        = {60--67},
  publisher    = {{IEEE}},
  year         = {2002},
  url          = {https://doi.org/10.1109/FPT.2002.1188665},
  doi          = {10.1109/FPT.2002.1188665},
  timestamp    = {Thu, 12 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fpt/LeeM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/CeroneM00,
  author       = {Antonio Cerone and
                  George J. Milne},
  editor       = {Warren A. Hunt Jr. and
                  Steven D. Johnson},
  title        = {A Methodology for the Formal Analysis of Asynchronous Micropipelines},
  booktitle    = {Formal Methods in Computer-Aided Design, Third International Conference,
                  {FMCAD} 2000, Austin, Texas, USA, November 1-3, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1954},
  pages        = {246--262},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-40922-X\_16},
  doi          = {10.1007/3-540-40922-X\_16},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/CeroneM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpl/ZhuM00,
  author       = {Jihan Zhu and
                  George J. Milne},
  editor       = {Reiner W. Hartenstein and
                  Herbert Gr{\"{u}}nbacher},
  title        = {Implementing Kak Neural Networks on a Reconfigurable Computing Platform},
  booktitle    = {Field-Programmable Logic and Applications, The Roadmap to Reconfigurable
                  Computing, 10th International Workshop, {FPL} 2000, Villach, Austria,
                  August 27-30, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1896},
  pages        = {260--269},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44614-1\_29},
  doi          = {10.1007/3-540-44614-1\_29},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/fpl/ZhuM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpl/DiesselM00,
  author       = {Oliver Diessel and
                  George J. Milne},
  editor       = {Reiner W. Hartenstein and
                  Herbert Gr{\"{u}}nbacher},
  title        = {Behavioural Language Compilation with Virtual Hardware Management},
  booktitle    = {Field-Programmable Logic and Applications, The Roadmap to Reconfigurable
                  Computing, 10th International Workshop, {FPL} 2000, Villach, Austria,
                  August 27-30, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1896},
  pages        = {707--717},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44614-1\_75},
  doi          = {10.1007/3-540-44614-1\_75},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fpl/DiesselM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/DiesselM00,
  author       = {Oliver Diessel and
                  George J. Milne},
  editor       = {Jos{\'{e}} D. P. Rolim},
  title        = {Compiling Process Algebraic Descriptions into Reconfigurable Logic},
  booktitle    = {Parallel and Distributed Processing, 15 {IPDPS} 2000 Workshops, Cancun,
                  Mexico, May 1-5, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1800},
  pages        = {916--923},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45591-4\_126},
  doi          = {10.1007/3-540-45591-4\_126},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/ipps/DiesselM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eh/Milne99,
  author       = {George J. Milne},
  title        = {A Model for Dynamic Adaptation in Reconfigurable Hardware Systems},
  booktitle    = {1st {NASA} / DoD Workshop on Evolvable Hardware {(EH} '99), July 19-21,
                  1999, Pasadena, CA, {USA}},
  pages        = {161--169},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/EH.1999.785448},
  doi          = {10.1109/EH.1999.785448},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/eh/Milne99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/CeroneKM98,
  author       = {Antonio Cerone and
                  David A. Kearney and
                  George J. Milne},
  title        = {Integrating the Verification of Timing, Performance and Correctness
                  Properties of Concurrent Systems},
  booktitle    = {1st International Conference on Application of Concurrency to System
                  Design {(ACSD} '98), 23-26 March 1998, Fukushima, Japan},
  pages        = {109--119},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/CSD.1998.657544},
  doi          = {10.1109/CSD.1998.657544},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/CeroneKM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/CeroneM97,
  author       = {Antonio Cerone and
                  George J. Milne},
  editor       = {Michael Johnson},
  title        = {Specification of Timing Constraints within the Circal Process Algebra},
  booktitle    = {Algebraic Methodology and Software Technology, 6th International Conference,
                  {AMAST} '97, Sydney, Australia, December 13-17, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1349},
  pages        = {108--122},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0000466},
  doi          = {10.1007/BFB0000466},
  timestamp    = {Tue, 14 May 2019 10:00:38 +0200},
  biburl       = {https://dblp.org/rec/conf/amast/CeroneM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/CeroneCM97,
  author       = {Antonio Cerone and
                  Alex J. Cowie and
                  George J. Milne},
  editor       = {Michael Johnson},
  title        = {The Circal System},
  booktitle    = {Algebraic Methodology and Software Technology, 6th International Conference,
                  {AMAST} '97, Sydney, Australia, December 13-17, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1349},
  pages        = {563--564},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0000498},
  doi          = {10.1007/BFB0000498},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/amast/CeroneCM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hipc/Milne97,
  author       = {George J. Milne},
  title        = {Reconfigurable custom computing as a supercomputer replacement},
  booktitle    = {Proceedings of the Fourth International on High-Performance Computing,
                  HiPC 1997, Bangalore, India, 18-21 December, 1997},
  pages        = {260--269},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/HIPC.1997.634501},
  doi          = {10.1109/HIPC.1997.634501},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hipc/Milne97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/CeroneCMM97,
  author       = {Antonio Cerone and
                  Alex J. Cowie and
                  George J. Milne and
                  Philip A. Moseley},
  editor       = {Oded Maler},
  title        = {Modelling a Time-Dependent Protocol Using the Circal Process Algebra},
  booktitle    = {Hybrid and Real-Time Systems, International Workshop. HART'97, Grenoble,
                  France, March 26-28, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1201},
  pages        = {124--138},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0014721},
  doi          = {10.1007/BFB0014721},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/CeroneCMM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compcon/BuddM96,
  author       = {Graham Budd and
                  George J. Milne},
  title        = {{ARM7100} - {A} High-Integration, Low-Power Microcontroller for {PDA}
                  Applications},
  booktitle    = {Forty-First {IEEE} Computer Society International Conference: Technologies
                  for the Information Superhighway, {COMPCON} 1996, Santa Clara, California,
                  USA, February 25-28, 1996, Digest of Papers},
  pages        = {182--187},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/CMPCON.1996.501766},
  doi          = {10.1109/CMPCON.1996.501766},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compcon/BuddM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BaileyMM94,
  author       = {Andrew M. Bailey and
                  George Alexander McCaskill and
                  George J. Milne},
  title        = {An Exercise in the Automatic Verification of Asynchronous Designs},
  journal      = {Formal Methods Syst. Des.},
  volume       = {4},
  number       = {3},
  pages        = {213--242},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01384047},
  doi          = {10.1007/BF01384047},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/BaileyMM94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/charme/1993,
  editor       = {George J. Milne and
                  Laurence Pierre},
  title        = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
                  Advanced Research Working Conference, {CHARME} '93, Arles, France,
                  May 24-26, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {683},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/BFb0021709},
  doi          = {10.1007/BFB0021709},
  isbn         = {3-540-56778-X},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/charme/1993.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/BarrieCMS92,
  author       = {Peter Barrie and
                  Paul Cockshott and
                  George J. Milne and
                  Paul Shaw},
  title        = {Design and verification of a highly concurrent machine},
  journal      = {Microprocess. Microsystems},
  volume       = {16},
  number       = {3},
  pages        = {115--123},
  year         = {1992},
  url          = {https://doi.org/10.1016/0141-9331(92)90034-Q},
  doi          = {10.1016/0141-9331(92)90034-Q},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mam/BarrieCMS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpga/ShawM92,
  author       = {Paul Shaw and
                  George J. Milne},
  editor       = {Herbert Gr{\"{u}}nbacher and
                  Reiner W. Hartenstein},
  title        = {A Highly Parallel FPL-Based Machine and Its Formal Verification},
  booktitle    = {Field-Programmable Gate Arrays: Architectures and Tools for Rapid
                  Prototyping, Second International Workshop on Field-Programmable Logic
                  and Applications, Vienna, Austria, August 31 - September 2, 1992,
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {705},
  pages        = {162--173},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-57091-8\_41},
  doi          = {10.1007/3-540-57091-8\_41},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/fpga/ShawM92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/Milne91,
  author       = {George J. Milne},
  title        = {The Formal Description and Verification of Hardware Timing},
  journal      = {{IEEE} Trans. Computers},
  volume       = {40},
  number       = {7},
  pages        = {811--826},
  year         = {1991},
  url          = {https://doi.org/10.1109/12.83619},
  doi          = {10.1109/12.83619},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tc/Milne91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/MaoM91,
  author       = {Wenbo Mao and
                  George J. Milne},
  editor       = {Kim Guldstrand Larsen and
                  Arne Skou},
  title        = {An Automated Proof Technique for Finite-State Machine Equivalence},
  booktitle    = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
                  Aalborg, Denmark, July, 1-4, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {575},
  pages        = {233--243},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-55179-4\_23},
  doi          = {10.1007/3-540-55179-4\_23},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/MaoM91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msiw/Milne89,
  author       = {George J. Milne},
  editor       = {Miriam Leeser and
                  Geoffrey Brown},
  title        = {Design for Verifiability},
  booktitle    = {Hardware Specification, Verification and Synthesis: Mathematical Aspects,
                  Mathematical Science Institute Workshop, Cornall University, Ithaca,
                  New York, USA, July 5-7, 1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {408},
  pages        = {1--13},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/0-387-97226-9\_20},
  doi          = {10.1007/0-387-97226-9\_20},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/msiw/Milne89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Milne85,
  author       = {George J. Milne},
  title        = {Circal and the Representation of Communication, Concurrency, and Time},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {7},
  number       = {2},
  pages        = {270--298},
  year         = {1985},
  url          = {https://doi.org/10.1145/3318.3322},
  doi          = {10.1145/3318.3322},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/Milne85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Milne84,
  author       = {George J. Milne},
  editor       = {Patricia H. Lambert and
                  Hillel Ofek and
                  Lawrence A. O'Neill and
                  Pat O. Pistilli and
                  Paul Losleben and
                  J. Daniel Nash and
                  Dennis W. Shaklee and
                  Bryan T. Preas and
                  Harvey N. Lerman},
  title        = {A model for hardware description and verification},
  booktitle    = {Proceedings of the 21st Design Automation Conference, {DAC} '84, Albuquerque,
                  New Mexico, June 25-27, 1984},
  pages        = {251--257},
  publisher    = {{ACM/IEEE}},
  year         = {1984},
  url          = {http://dl.acm.org/citation.cfm?id=800804},
  timestamp    = {Thu, 12 Aug 2021 08:58:02 +0200},
  biburl       = {https://dblp.org/rec/conf/dac/Milne84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/integration/Milne83,
  author       = {George J. Milne},
  title        = {Circal: {A} calculus for circuit description},
  journal      = {Integr.},
  volume       = {1},
  number       = {2-3},
  pages        = {121--160},
  year         = {1983},
  url          = {https://doi.org/10.1016/S0167-9260(83)80017-0},
  doi          = {10.1016/S0167-9260(83)80017-0},
  timestamp    = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/integration/Milne83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acs/Milne83,
  author       = {George J. Milne},
  editor       = {B. Tim Denvir and
                  W. T. Harwood and
                  M. I. Jackson and
                  M. J. Wray},
  title        = {Description and Analysis Using Circal},
  booktitle    = {The Analysis of Concurrent Systems, Cambridge, UK, September 12-16,
                  1983, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {207},
  pages        = {293--313},
  publisher    = {Springer},
  year         = {1983},
  url          = {https://doi.org/10.1007/3-540-16047-7\_53},
  doi          = {10.1007/3-540-16047-7\_53},
  timestamp    = {Fri, 17 Jul 2020 16:12:47 +0200},
  biburl       = {https://dblp.org/rec/conf/acs/Milne83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/Milne82,
  author       = {George J. Milne},
  title        = {Abstraction and Nondeterminism in Concurrent Systems},
  booktitle    = {Proceedings of the 3rd International Conference on Distributed Computing
                  Systems, Miami/Ft. Lauderdale, Florida, USA, October 18-22, 1982},
  pages        = {358--364},
  publisher    = {{IEEE} Computer Society},
  year         = {1982},
  timestamp    = {Wed, 21 Sep 2005 15:11:36 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcs/Milne82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/MilneM79,
  author       = {George J. Milne and
                  Robin Milner},
  title        = {Concurrent Processes and Their Syntax},
  journal      = {J. {ACM}},
  volume       = {26},
  number       = {2},
  pages        = {302--321},
  year         = {1979},
  url          = {https://doi.org/10.1145/322123.322134},
  doi          = {10.1145/322123.322134},
  timestamp    = {Wed, 11 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/MilneM79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Milne77,
  author       = {George J. Milne},
  title        = {Mathematical model of concurrent computation},
  school       = {University of Edinburgh, {UK}},
  year         = {1977},
  url          = {https://hdl.handle.net/1842/11169},
  timestamp    = {Wed, 04 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/ethos/Milne77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics