Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: M. Elizabeth C. Hull
@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} }
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.