BibTeX records: M. Elizabeth C. Hull

download as .bib file

@book{DBLP:books/sp/DickHJ17,
  author       = {Jeremy Dick and
                  M. Elizabeth C. Hull and
                  Ken Jackson},
  title        = {Requirements Engineering, 4th Edition},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-61073-3},
  doi          = {10.1007/978-3-319-61073-3},
  isbn         = {978-3-319-61072-6},
  timestamp    = {Fri, 25 Aug 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/DickHJ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/BlackHJ11,
  author       = {Derrick D. Black and
                  M. Elizabeth C. Hull and
                  Ken Jackson},
  title        = {Systems engineering and safety - a framework},
  journal      = {{IET} Softw.},
  volume       = {5},
  number       = {1},
  pages        = {43--53},
  year         = {2011},
  url          = {https://doi.org/10.1049/iet-sen.2009.0082},
  doi          = {10.1049/IET-SEN.2009.0082},
  timestamp    = {Fri, 22 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/BlackHJ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0025717,
  editor       = {M. Elizabeth C. Hull and
                  Ken Jackson and
                  Jeremy Dick},
  title        = {Requirements Engineering, Third Edition},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-1-84996-405-0},
  doi          = {10.1007/978-1-84996-405-0},
  isbn         = {978-1-8499-6404-3},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/0025717.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iim/BlackHJ10,
  author       = {Derrick D. Black and
                  M. Elizabeth C. Hull and
                  Ken Jackson},
  title        = {Combining a Safety Management Process with a Safety Framework},
  journal      = {Intell. Inf. Manag.},
  volume       = {2},
  number       = {4},
  pages        = {233--242},
  year         = {2010},
  url          = {https://doi.org/10.4236/iim.2010.23028},
  doi          = {10.4236/IIM.2010.23028},
  timestamp    = {Thu, 20 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iim/BlackHJ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsea/BlackHJ10,
  author       = {Derrick D. Black and
                  M. Elizabeth C. Hull and
                  Ken Jackson},
  title        = {Experience in Using a {PFW} System - {A} Case Study},
  journal      = {J. Softw. Eng. Appl.},
  volume       = {3},
  number       = {5},
  pages        = {510--516},
  year         = {2010},
  url          = {https://doi.org/10.4236/jsea.2010.35058},
  doi          = {10.4236/JSEA.2010.35058},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsea/BlackHJ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0015248,
  author       = {M. Elizabeth C. Hull and
                  Ken Jackson and
                  Jeremy Dick},
  title        = {Requirements Engineering, Second Edition},
  publisher    = {Springer},
  year         = {2005},
  isbn         = {978-1-85233-879-4},
  timestamp    = {Wed, 14 Sep 2011 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/0015248.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/DickHJ05,
  author       = {A. J. J. Dick and
                  M. Elizabeth C. Hull and
                  Ken Jackson},
  title        = {Specifying process and measuring progress in terms of information
                  state},
  journal      = {J. Syst. Softw.},
  volume       = {76},
  number       = {3},
  pages        = {311--322},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.jss.2004.07.015},
  doi          = {10.1016/J.JSS.2004.07.015},
  timestamp    = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jss/DickHJ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/HullEH04,
  author       = {M. Elizabeth C. Hull and
                  S. Ewart and
                  J. R. Paul Hanna},
  title        = {Modeling Complex Real-Time and Embedded Systems-The {UML} and {DORIS}
                  Combination},
  journal      = {Real Time Syst.},
  volume       = {26},
  number       = {2},
  pages        = {135--159},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:TIME.0000016128.45507.07},
  doi          = {10.1023/B:TIME.0000016128.45507.07},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/HullEH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0007547,
  author       = {M. Elizabeth C. Hull and
                  Ken Jackson and
                  Jeremy Dick},
  title        = {Requirements Engineering},
  series       = {Practitioner series},
  publisher    = {Springer},
  year         = {2002},
  isbn         = {978-1-85233-577-9},
  timestamp    = {Wed, 14 Sep 2011 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/0007547.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/HullTHM02,
  author       = {M. Elizabeth C. Hull and
                  Philip S. Taylor and
                  J. R. Paul Hanna and
                  Richard J. Millar},
  title        = {Software development processes - an assessment},
  journal      = {Inf. Softw. Technol.},
  volume       = {44},
  number       = {1},
  pages        = {1--12},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0950-5849(01)00158-6},
  doi          = {10.1016/S0950-5849(01)00158-6},
  timestamp    = {Fri, 15 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/infsof/HullTHM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/BiHN02,
  author       = {Yaxin Bi and
                  M. Elizabeth C. Hull and
                  Peter N. Nicholl},
  title        = {An {XML} approach for legacy code reuse},
  journal      = {J. Syst. Softw.},
  volume       = {61},
  number       = {2},
  pages        = {77--89},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0164-1212(01)00104-2},
  doi          = {10.1016/S0164-1212(01)00104-2},
  timestamp    = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jss/BiHN02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/HullNHR00,
  author       = {M. Elizabeth C. Hull and
                  Peter N. Nicholl and
                  Philip Houston and
                  Niall Rooney},
  title        = {Towards a visual approach for component-based software development},
  journal      = {Softw. Concepts Tools},
  volume       = {19},
  number       = {4},
  pages        = {154--160},
  year         = {2000},
  url          = {https://doi.org/10.1007/s003789900001},
  doi          = {10.1007/S003789900001},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/stp/HullNHR00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/CaiHB98,
  author       = {F. F. Cai and
                  M. Elizabeth C. Hull and
                  David A. Bell},
  title        = {The design and evaluation of a buffer algorithm for database machines},
  journal      = {Concurr. Pract. Exp.},
  volume       = {10},
  number       = {15},
  pages        = {1291--1316},
  year         = {1998},
  url          = {https://doi.org/10.1002/(SICI)1096-9128(19981225)10:15\&\#60;1291::AID-CPE418\&\#62;3.0.CO;2-K},
  doi          = {10.1002/(SICI)1096-9128(19981225)10:15\&\#60;1291::AID-CPE418\&\#62;3.0.CO;2-K},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/concurrency/CaiHB98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/AldersonHJG98,
  author       = {Albert Alderson and
                  M. Elizabeth C. Hull and
                  Ken Jackson and
                  L. E. Griffiths},
  title        = {Method engineering for industrial real-time and embedded systems},
  journal      = {Inf. Softw. Technol.},
  volume       = {40},
  number       = {8},
  pages        = {443--454},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0950-5849(98)00073-1},
  doi          = {10.1016/S0950-5849(98)00073-1},
  timestamp    = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/infsof/AldersonHJG98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/ODonoghueH96,
  author       = {Peter G. O'Donoghue and
                  M. Elizabeth C. Hull},
  title        = {Using timed {CSP} during object oriented design of real-time systems},
  journal      = {Inf. Softw. Technol.},
  volume       = {38},
  number       = {2},
  pages        = {89--102},
  year         = {1996},
  url          = {https://doi.org/10.1016/0950-5849(95)01049-1},
  doi          = {10.1016/0950-5849(95)01049-1},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/infsof/ODonoghueH96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/ShaoBH95,
  author       = {J. Shao and
                  David A. Bell and
                  M. Elizabeth C. Hull},
  title        = {Processing recursive queries on transputers},
  journal      = {Concurr. Pract. Exp.},
  volume       = {7},
  number       = {2},
  pages        = {81--120},
  year         = {1995},
  url          = {https://doi.org/10.1002/cpe.4330070202},
  doi          = {10.1002/CPE.4330070202},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/concurrency/ShaoBH95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/HullO94,
  author       = {M. Elizabeth C. Hull and
                  Peter G. O'Donoghue},
  title        = {Timed Petri net approach to performance modelling with the {MOON}
                  method},
  journal      = {Softw. Eng. J.},
  volume       = {9},
  number       = {3},
  pages        = {95--106},
  year         = {1994},
  url          = {https://doi.org/10.1049/sej.1994.0013},
  doi          = {10.1049/SEJ.1994.0013},
  timestamp    = {Wed, 11 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iee/HullO94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/ShiHB94,
  author       = {ShengLi Shi and
                  M. Elizabeth C. Hull and
                  David A. Bell},
  editor       = {Zbigniew W. Ras and
                  Maria Zemankova},
  title        = {A New Rule for Updating Evidence},
  booktitle    = {Methodologies for Intelligent Systems, 8th International Symposium,
                  {ISMIS} '94, Charlotte, North Carolina, USA, October 16-19, 1994,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {869},
  pages        = {95--104},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58495-1\_10},
  doi          = {10.1007/3-540-58495-1\_10},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/ismis/ShiHB94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/ShiHB94,
  author       = {ShengLi Shi and
                  M. Elizabeth C. Hull and
                  David A. Bell},
  title        = {Belief: updating vs. combining},
  booktitle    = {SEKE'94, The 6th International Conference on Software Engineering
                  and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
  pages        = {344--351},
  publisher    = {Knowledge Systems Institute},
  year         = {1994},
  timestamp    = {Mon, 05 Oct 2020 12:53:08 +0200},
  biburl       = {https://dblp.org/rec/conf/seke/ShiHB94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/HullO93,
  author       = {M. Elizabeth C. Hull and
                  Peter G. O'Donoghue},
  title        = {Family Relationships between Requirements and Design Specification
                  Methods},
  journal      = {Comput. J.},
  volume       = {36},
  number       = {2},
  pages        = {153--167},
  year         = {1993},
  url          = {https://doi.org/10.1093/comjnl/36.2.153},
  doi          = {10.1093/COMJNL/36.2.153},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/HullO93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/MillarHF93,
  author       = {Richard J. Millar and
                  M. Elizabeth C. Hull and
                  J. H. Frazer},
  title        = {The Millar Polyhedron and its use in the Construction of Octrees},
  journal      = {Comput. J.},
  volume       = {36},
  number       = {2},
  pages        = {186--194},
  year         = {1993},
  url          = {https://doi.org/10.1093/comjnl/36.2.186},
  doi          = {10.1093/COMJNL/36.2.186},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/MillarHF93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/HullOC93,
  author       = {M. Elizabeth C. Hull and
                  Peter G. O'Donoghue and
                  Patrick Curran},
  title        = {Addressing requirements when using the {MOON} design method},
  journal      = {Inf. Softw. Technol.},
  volume       = {35},
  number       = {9},
  pages        = {513--518},
  year         = {1993},
  url          = {https://doi.org/10.1016/0950-5849(93)90018-X},
  doi          = {10.1016/0950-5849(93)90018-X},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/infsof/HullOC93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/HullOH91,
  author       = {M. Elizabeth C. Hull and
                  Peter G. O'Donoghue and
                  B. J. Hagan},
  title        = {Development Methods for Real-Time Systems},
  journal      = {Comput. J.},
  volume       = {34},
  number       = {2},
  pages        = {164--172},
  year         = {1991},
  url          = {https://doi.org/10.1093/comjnl/34.2.164},
  doi          = {10.1093/COMJNL/34.2.164},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/HullOH91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dke/BellSH91,
  author       = {David A. Bell and
                  J. Shao and
                  M. Elizabeth C. Hull},
  title        = {A Pipelined Strategy for Processing Recursive Queries in Parallel},
  journal      = {Data Knowl. Eng.},
  volume       = {6},
  pages        = {367--391},
  year         = {1991},
  url          = {https://doi.org/10.1016/0169-023X(91)90008-L},
  doi          = {10.1016/0169-023X(91)90008-L},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dke/BellSH91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/HullOH91,
  author       = {M. Elizabeth C. Hull and
                  Peter G. O'Donoghue and
                  B. J. Hagan},
  title        = {MOON-modular object-oriented notation},
  journal      = {Softw. Eng. J.},
  volume       = {6},
  number       = {1},
  pages        = {25--33},
  year         = {1991},
  url          = {https://doi.org/10.1049/sej.1991.0003},
  doi          = {10.1049/SEJ.1991.0003},
  timestamp    = {Wed, 11 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iee/HullOH91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdis/ShaoBH91,
  author       = {J. Shao and
                  David A. Bell and
                  M. Elizabeth C. Hull},
  title        = {Combining Rule Decomposition and Data Partitioning in Parallel Datalog
                  Program Processing},
  booktitle    = {Proceedings of the First International Conference on Parallel and
                  Distributed Information Systems {(PDIS} 1991), Fontainebleu Hilton
                  Resort, Miami Beach, Florida, USA, December 4-6, 1991},
  pages        = {106--115},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/PDIS.1991.183074},
  doi          = {10.1109/PDIS.1991.183074},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pdis/ShaoBH91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/BellSH90,
  author       = {David A. Bell and
                  J. Shao and
                  M. Elizabeth C. Hull},
  title        = {Integrated Deductive Database System Implementation: {A} Systematic
                  Study},
  journal      = {Comput. J.},
  volume       = {33},
  number       = {1},
  pages        = {40--48},
  year         = {1990},
  url          = {https://doi.org/10.1093/comjnl/33.1.40},
  doi          = {10.1093/COMJNL/33.1.40},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/BellSH90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dpds/ShaoBH90,
  author       = {J. Shao and
                  David A. Bell and
                  M. Elizabeth C. Hull},
  editor       = {Rakesh Agrawal and
                  David A. Bell},
  title        = {An Experimental Performance Study of a Pipelined Recursive Query Processing
                  Strategy},
  booktitle    = {Proceedings of the Second International Symposium on Databases in
                  Parallel and Distributed Systems, Trinity College, Dublin, Ireland,
                  July 2-4, 1990},
  pages        = {30--43},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1109/DPDS.1990.113696},
  doi          = {10.1109/DPDS.1990.113696},
  timestamp    = {Thu, 03 Feb 2022 16:52:09 +0100},
  biburl       = {https://dblp.org/rec/conf/dpds/ShaoBH90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/HullZG89,
  author       = {M. Elizabeth C. Hull and
                  Adib Zarea{-}Aliabadi and
                  David A. Guthrie},
  title        = {Object-oriented design, Jackson system development {(JSD)} specifications
                  and concurrency},
  journal      = {Softw. Eng. J.},
  volume       = {4},
  number       = {2},
  pages        = {79--86},
  year         = {1989},
  url          = {https://doi.org/10.1049/sej.1989.0010},
  doi          = {10.1049/SEJ.1989.0010},
  timestamp    = {Sun, 08 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/HullZG89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/HullZ89,
  author       = {M. Elizabeth C. Hull and
                  Adib Zarea{-}Aliabadi},
  title        = {Real-time system implementation - The transputer and occam alternative},
  journal      = {Microprocessing and Microprogramming},
  volume       = {26},
  number       = {2},
  pages        = {77--84},
  year         = {1989},
  url          = {https://doi.org/10.1016/0165-6074(89)90259-7},
  doi          = {10.1016/0165-6074(89)90259-7},
  timestamp    = {Fri, 12 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsa/HullZ89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ds/ShaoBH88,
  author       = {J. Shao and
                  David A. Bell and
                  M. Elizabeth C. Hull},
  editor       = {Robert Meersman and
                  Zhongzhi Shi and
                  Chenho Kung},
  title        = {{LQL:} {A} Unified Language for Deductive Database Systems},
  booktitle    = {Proceedings of the {IFIP} {TC2/TC8/WG} 2.6/WG 8.1 Working Conference
                  on the Role of Artificial Intelligence in Databases and Information
                  Systems, Guangzhou, {PR} China, 4-8 July, 1988},
  pages        = {329--343},
  publisher    = {North-Holland},
  year         = {1988},
  timestamp    = {Fri, 28 Apr 2017 12:46:32 +0200},
  biburl       = {https://dblp.org/rec/conf/ds/ShaoBH88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/Hull87,
  author       = {M. Elizabeth C. Hull},
  title        = {Occam - {A} Programming Language for Multiprocessor Systems},
  journal      = {Comput. Lang.},
  volume       = {12},
  number       = {1},
  pages        = {27--37},
  year         = {1987},
  url          = {https://doi.org/10.1016/0096-0551(87)90010-5},
  doi          = {10.1016/0096-0551(87)90010-5},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cl/Hull87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csse/HullRG87,
  author       = {M. Elizabeth C. Hull and
                  R. G. Roulston and
                  T. R. S. Gregg},
  title        = {Interactive Computing Service Monitoring System},
  journal      = {Comput. Syst. Sci. Eng.},
  volume       = {2},
  number       = {4},
  pages        = {179--185},
  year         = {1987},
  timestamp    = {Wed, 05 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/csse/HullRG87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Hull86,
  author       = {M. Elizabeth C. Hull},
  title        = {Implementations of the {CSP} Notation for Concurrent Systems},
  journal      = {Comput. J.},
  volume       = {29},
  number       = {6},
  pages        = {500--505},
  year         = {1986},
  url          = {https://doi.org/10.1093/comjnl/29.6.500},
  doi          = {10.1093/COMJNL/29.6.500},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/Hull86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/DonnanH86,
  author       = {G. Donnan and
                  M. Elizabeth C. Hull},
  title        = {On Processes, Synchronization and Redundant Code in Communicating
                  Sequential Processes},
  journal      = {Comput. Lang.},
  volume       = {11},
  number       = {3/4},
  pages        = {155--160},
  year         = {1986},
  url          = {https://doi.org/10.1016/0096-0551(86)90008-1},
  doi          = {10.1016/0096-0551(86)90008-1},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cl/DonnanH86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/HullD86,
  author       = {M. Elizabeth C. Hull and
                  G. Donnan},
  title        = {Contextually Communicating Sequential Processes: {A} Software Engineering
                  Environment},
  journal      = {Softw. Pract. Exp.},
  volume       = {16},
  number       = {9},
  pages        = {845--864},
  year         = {1986},
  timestamp    = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/spe/HullD86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/HullM84,
  author       = {M. Elizabeth C. Hull and
                  R. M. McKeag},
  title        = {Concurrency in the Design of Data Processing Systems},
  journal      = {Comput. J.},
  volume       = {27},
  number       = {4},
  pages        = {289--293},
  year         = {1984},
  url          = {https://doi.org/10.1093/comjnl/27.4.289},
  doi          = {10.1093/COMJNL/27.4.289},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/HullM84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Hull84,
  author       = {M. Elizabeth C. Hull},
  title        = {A Parallel View of Stable Marriages},
  journal      = {Inf. Process. Lett.},
  volume       = {18},
  number       = {2},
  pages        = {63--66},
  year         = {1984},
  url          = {https://doi.org/10.1016/0020-0190(84)90025-5},
  doi          = {10.1016/0020-0190(84)90025-5},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/Hull84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/HullM84,
  author       = {M. Elizabeth C. Hull and
                  R. M. McKeag},
  title        = {A General Approach to Queuing in C. S. {P}},
  journal      = {Softw. Pract. Exp.},
  volume       = {14},
  number       = {8},
  pages        = {769--773},
  year         = {1984},
  url          = {https://doi.org/10.1002/spe.4380140806},
  doi          = {10.1002/SPE.4380140806},
  timestamp    = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/spe/HullM84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/HullM84,
  author       = {M. Elizabeth C. Hull and
                  R. M. McKeag},
  title        = {Communicating Sequential Processes for Centralized and Distributed
                  Operating System Design},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {6},
  number       = {2},
  pages        = {175--191},
  year         = {1984},
  url          = {https://doi.org/10.1145/2993.2381},
  doi          = {10.1145/2993.2381},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/HullM84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Hull80,
  author       = {M. Elizabeth C. Hull},
  title        = {Parallelism in operating system design},
  school       = {Queen's University Belfast, {UK}},
  year         = {1980},
  url          = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.378443},
  timestamp    = {Tue, 05 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/ethos/Hull80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics