BibTeX records: Brian Warboys

download as .bib file

@inproceedings{DBLP:conf/birthday/MorrisonBW11,
  author       = {Ronald Morrison and
                  Dharini Balasubramaniam and
                  Brian Warboys},
  editor       = {Cliff B. Jones and
                  John L. Lloyd},
  title        = {Incremental Design: Programming with Holes and Evolvers},
  booktitle    = {Dependable and Historic Computing - Essays Dedicated to Brian Randell
                  on the Occasion of His 75th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {6875},
  pages        = {376--386},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24541-1\_28},
  doi          = {10.1007/978-3-642-24541-1\_28},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/MorrisonBW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1006-4740,
  author       = {Ronald Morrison and
                  Graham N. C. Kirby and
                  Dharini Balasubramaniam and
                  Kath Mickan and
                  Fl{\'{a}}vio Oquendo and
                  Sorana C{\^{\i}}mpan and
                  Brian Warboys and
                  Bob Snowdon and
                  Robert Mark Greenwood},
  title        = {Support for Evolving Software Architectures in the ArchWare {ADL}},
  journal      = {CoRR},
  volume       = {abs/1006.4740},
  year         = {2010},
  url          = {http://arxiv.org/abs/1006.4740},
  eprinttype    = {arXiv},
  eprint       = {1006.4740},
  timestamp    = {Tue, 16 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1006-4740.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1006-4829,
  author       = {Ronald Morrison and
                  Graham N. C. Kirby and
                  Dharini Balasubramaniam and
                  Kath Mickan and
                  Fl{\'{a}}vio Oquendo and
                  Sorana C{\^{\i}}mpan and
                  Brian Warboys and
                  Bob Snowdon and
                  Robert Mark Greenwood},
  title        = {Constructing Active Architectures in the ArchWare {ADL}},
  journal      = {CoRR},
  volume       = {abs/1006.4829},
  year         = {2010},
  url          = {http://arxiv.org/abs/1006.4829},
  eprinttype    = {arXiv},
  eprint       = {1006.4829},
  timestamp    = {Tue, 16 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1006-4829.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/MorrisonBKMWGRS07,
  author       = {Ronald Morrison and
                  Dharini Balasubramaniam and
                  Graham N. C. Kirby and
                  Kath Mickan and
                  Brian Warboys and
                  Robert Mark Greenwood and
                  Ian Robertson and
                  Bob Snowdon},
  title        = {A framework for supporting dynamic systems co-evolution},
  journal      = {Autom. Softw. Eng.},
  volume       = {14},
  number       = {3},
  pages        = {261--292},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10515-007-0011-7},
  doi          = {10.1007/S10515-007-0011-7},
  timestamp    = {Tue, 16 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ase/MorrisonBKMWGRS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bpmj/ShawHKSW07,
  author       = {Duncan R. Shaw and
                  Christopher P. Holland and
                  Peter Kawalek and
                  Bob Snowdon and
                  Brian Warboys},
  title        = {Elements of a business process management system: theory and practice},
  journal      = {Bus. Process. Manag. J.},
  volume       = {13},
  number       = {1},
  pages        = {91--107},
  year         = {2007},
  url          = {https://doi.org/10.1108/14637150710721140},
  doi          = {10.1108/14637150710721140},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bpmj/ShawHKSW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sopr/SnowdonWGHKS07,
  author       = {Robert A. Snowdon and
                  Brian Warboys and
                  Robert Mark Greenwood and
                  Christopher P. Holland and
                  Peter Kawalek and
                  Duncan R. Shaw},
  title        = {On the architecture and form of flexible process support},
  journal      = {Softw. Process. Improv. Pract.},
  volume       = {12},
  number       = {1},
  pages        = {21--34},
  year         = {2007},
  url          = {https://doi.org/10.1002/spip.307},
  doi          = {10.1002/SPIP.307},
  timestamp    = {Tue, 16 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sopr/SnowdonWGHKS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/LinEW07,
  author       = {Liwen Lin and
                  Suzanne M. Embury and
                  Brian Warboys},
  title        = {Tool Support to Implementing Business Rules in Database Applications},
  booktitle    = {31st Annual International Computer Software and Applications Conference,
                  {COMPSAC} 2007, Beijing, China, July 24-27, 2007. Volume 1},
  pages        = {157--162},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/COMPSAC.2007.213},
  doi          = {10.1109/COMPSAC.2007.213},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/LinEW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/MorrisonBOWG07,
  author       = {Ronald Morrison and
                  Dharini Balasubramaniam and
                  Fl{\'{a}}vio Oquendo and
                  Brian Warboys and
                  Robert Mark Greenwood},
  editor       = {Fl{\'{a}}vio Oquendo},
  title        = {An Active Architecture Approach to Dynamic Systems Co-evolution},
  booktitle    = {Software Architecture, First European Conference, {ECSA} 2007, Aranjuez,
                  Spain, September 24-26, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4758},
  pages        = {2--10},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75132-8\_2},
  doi          = {10.1007/978-3-540-75132-8\_2},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecsa/MorrisonBOWG07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wicsa/BalasubramaniamMGW07,
  author       = {Dharini Balasubramaniam and
                  Ronald Morrison and
                  Robert Mark Greenwood and
                  Brian Warboys},
  title        = {Flexible Software Development: From Software Architecture to Process},
  booktitle    = {Sixth Working {IEEE} / {IFIP} Conference on Software Architecture
                  {(WICSA} 2007), 6-9 January 2005, Mumbai, Maharashtra, India},
  pages        = {14},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/WICSA.2007.24},
  doi          = {10.1109/WICSA.2007.24},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wicsa/BalasubramaniamMGW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijthi/ShawHKSW06,
  author       = {Duncan R. Shaw and
                  Christopher P. Holland and
                  Peter Kawalek and
                  Bob Snowdon and
                  Brian Warboys},
  title        = {Electronic Commerce Strategy in the {UK} Electricity Industry: The
                  Case of Electric Co and Dataflow Software},
  journal      = {Int. J. Technol. Hum. Interact.},
  volume       = {2},
  number       = {3},
  pages        = {38--60},
  year         = {2006},
  url          = {https://doi.org/10.4018/jthi.2006070103},
  doi          = {10.4018/JTHI.2006070103},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijthi/ShawHKSW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/BalasubramaniamMKMWRSGS05,
  author       = {Dharini Balasubramaniam and
                  Ronald Morrison and
                  Graham N. C. Kirby and
                  Kath Mickan and
                  Brian Warboys and
                  Ian Robertson and
                  Bob Snowdon and
                  Robert Mark Greenwood and
                  Wykeen Seet},
  title        = {A software architecture approach for structuring autonomic systems},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {30},
  number       = {4},
  pages        = {1--7},
  year         = {2005},
  url          = {https://doi.org/10.1145/1082983.1083077},
  doi          = {10.1145/1082983.1083077},
  timestamp    = {Tue, 16 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigsoft/BalasubramaniamMKMWRSGS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/WarboysSGSRMBKM05,
  author       = {Brian Warboys and
                  Bob Snowdon and
                  Robert Mark Greenwood and
                  Wykeen Seet and
                  Ian Robertson and
                  Ronald Morrison and
                  Dharini Balasubramaniam and
                  Graham N. C. Kirby and
                  Kath Mickan},
  title        = {An Active-Architecture Approach to {COTS} Integration},
  journal      = {{IEEE} Softw.},
  volume       = {22},
  number       = {4},
  pages        = {20--27},
  year         = {2005},
  url          = {https://doi.org/10.1109/MS.2005.86},
  doi          = {10.1109/MS.2005.86},
  timestamp    = {Tue, 16 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/software/WarboysSGSRMBKM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewsa/WarboysGRMBKM05,
  author       = {Brian Warboys and
                  Robert Mark Greenwood and
                  Ian Robertson and
                  Ronald Morrison and
                  Dharini Balasubramaniam and
                  Graham N. C. Kirby and
                  Kath Mickan},
  editor       = {Ronald Morrison and
                  Fl{\'{a}}vio Oquendo},
  title        = {The ArchWare Tower: The Implementation of an Active Software Engineering
                  Environment Using a pi-Calculus Based Architecture Description Language},
  booktitle    = {Software Architecture, 2nd European Workshop, {EWSA} 2005, Pisa, Italy,
                  June 13-14, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3527},
  pages        = {30--40},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11494713\_3},
  doi          = {10.1007/11494713\_3},
  timestamp    = {Tue, 16 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ewsa/WarboysGRMBKM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/LinEW05,
  author       = {Liwen Lin and
                  Suzanne M. Embury and
                  Brian Warboys},
  title        = {Facilitating the Implementation and Evolution of Business Rules},
  booktitle    = {21st {IEEE} International Conference on Software Maintenance {(ICSM}
                  2005), 25-30 September 2005, Budapest, Hungary},
  pages        = {609--612},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/ICSM.2005.47},
  doi          = {10.1109/ICSM.2005.47},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icsm/LinEW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispw/Warboys05,
  author       = {Brian Warboys},
  editor       = {Mingshu Li and
                  Barry W. Boehm and
                  Leon J. Osterweil},
  title        = {Active Models: {A} Possible Approach to the Integration of Objective
                  and Subjective Process Models},
  booktitle    = {Unifying the Software Process Spectrum, International Software Process
                  Workshop, {SPW} 2005, Beijing, China, May 25-27, 2005, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3840},
  pages        = {100--107},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11608035\_11},
  doi          = {10.1007/11608035\_11},
  timestamp    = {Wed, 12 Apr 2023 13:19:01 +0200},
  biburl       = {https://dblp.org/rec/conf/ispw/Warboys05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jitech/ShawSHKW04,
  author       = {Duncan R. Shaw and
                  Bob Snowdon and
                  Christopher P. Holland and
                  Peter Kawalek and
                  Brian Warboys},
  title        = {The viable systems model applied to a smart network: the case of the
                  {UK} electricity market},
  journal      = {J. Inf. Technol.},
  volume       = {19},
  number       = {4},
  pages        = {270--280},
  year         = {2004},
  url          = {https://doi.org/10.1057/palgrave.jit.2000028},
  doi          = {10.1057/PALGRAVE.JIT.2000028},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jitech/ShawSHKW04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecis/ShawHKSW04,
  author       = {Duncan R. Shaw and
                  Christopher P. Holland and
                  Peter Kawalek and
                  Bob Snowdon and
                  Brian Warboys},
  editor       = {Timo Leino and
                  Timo Saarinen and
                  Stefan Klein},
  title        = {Electronic commerce strategy in the {U.K.} electricity industry: the
                  case of Electric Co and Dataflow Software},
  booktitle    = {Proceedings of the 13th European Conference on Information Systems,
                  The European {IS} Profession in the Global Networking Environment,
                  {ECIS} 2004, Turku, Finland, June 14-16, 2004},
  pages        = {1780--1788},
  year         = {2004},
  url          = {http://aisel.aisnet.org/ecis2004/173},
  timestamp    = {Fri, 26 Jan 2018 10:47:50 +0100},
  biburl       = {https://dblp.org/rec/conf/ecis/ShawHKSW04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewsa/OquendoWMDGGO04,
  author       = {Fl{\'{a}}vio Oquendo and
                  Brian Warboys and
                  Ronald Morrison and
                  R{\'{e}}gis Dindeleux and
                  Ferdinando Gallo and
                  Hubert Garavel and
                  Carmen Occhipinti},
  editor       = {Fl{\'{a}}vio Oquendo and
                  Brian Warboys and
                  Ronald Morrison},
  title        = {ArchWare: Architecting Evolvable Software},
  booktitle    = {Software Architecture, First European Workshop, {EWSA} 2004, St Andrews,
                  UK, May 21-22, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3047},
  pages        = {257--271},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24769-2\_23},
  doi          = {10.1007/978-3-540-24769-2\_23},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/ewsa/OquendoWMDGGO04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iadis/SeniorW04,
  author       = {Thomas B. Senior and
                  Brian Warboys},
  editor       = {Pedro T. Isa{\'{\i}}as and
                  Nitya Karmakar and
                  Lu{\'{\i}}s E. T. Rodrigues and
                  Patr{\'{\i}}cia Barbosa},
  title        = {Software for self-government},
  booktitle    = {Proceedings of the {IADIS} International Conference WWW/Internet 2004,
                  Madrid, Spain, 2 Volumes},
  pages        = {844--848},
  publisher    = {{IADIS}},
  year         = {2004},
  timestamp    = {Wed, 01 Apr 2015 20:06:19 +0200},
  biburl       = {https://dblp.org/rec/conf/iadis/SeniorW04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wicsa/MorrisonKBMOCWSG04,
  author       = {Ronald Morrison and
                  Graham N. C. Kirby and
                  Dharini Balasubramaniam and
                  Kath Mickan and
                  Fl{\'{a}}vio Oquendo and
                  Sorana C{\^{\i}}mpan and
                  Brian Warboys and
                  Bob Snowdon and
                  Robert Mark Greenwood},
  title        = {Support for Evolving Software Architectures in the ArchWare {ADL}},
  booktitle    = {4th Working {IEEE} / {IFIP} Conference on Software Architecture {(WICSA}
                  2004), 12-15 June 2004, Oslo, Norway},
  pages        = {69--78},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/WICSA.2004.1310691},
  doi          = {10.1109/WICSA.2004.1310691},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wicsa/MorrisonKBMOCWSG04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woss/BalasubramaniamMMKWRSGS04,
  author       = {Dharini Balasubramaniam and
                  Ronald Morrison and
                  Kath Mickan and
                  Graham N. C. Kirby and
                  Brian Warboys and
                  Ian Robertson and
                  Bob Snowdon and
                  Robert Mark Greenwood and
                  Wykeen Seet},
  editor       = {David Garlan and
                  Jeff Kramer and
                  Alexander L. Wolf},
  title        = {Support for feedback and change in self-adaptive systems},
  booktitle    = {Proceedings of the 1st {ACM} {SIGSOFT} Workshop on Self-Managed Systems,
                  {WOSS} 2004, Newport Beach, California, USA, October 31 - November
                  1, 2004},
  pages        = {18--22},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1075405.1075409},
  doi          = {10.1145/1075405.1075409},
  timestamp    = {Tue, 16 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/woss/BalasubramaniamMMKWRSGS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ewsa/2004,
  editor       = {Fl{\'{a}}vio Oquendo and
                  Brian Warboys and
                  Ronald Morrison},
  title        = {Software Architecture, First European Workshop, {EWSA} 2004, St Andrews,
                  UK, May 21-22, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3047},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/b97879},
  doi          = {10.1007/B97879},
  isbn         = {3-540-22000-3},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ewsa/2004.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccgrid/MoreauMGGDAACRFGGGLLLLMOPPRRRRSSSWWW03,
  author       = {Luc Moreau and
                  Simon Miles and
                  Carole A. Goble and
                  Robert Mark Greenwood and
                  Vijay Dialani and
                  Matthew Addis and
                  M. Nedim Alpdemir and
                  Rich Cawley and
                  David De Roure and
                  Justin Ferris and
                  Robert J. Gaizauskas and
                  Kevin Glover and
                  Chris Greenhalgh and
                  Peter Li and
                  Xiaojian Liu and
                  Phillip W. Lord and
                  Michael Luck and
                  Darren Marvin and
                  Thomas M. Oinn and
                  Norman W. Paton and
                  Steve Pettifer and
                  Milena V. Radenkovic and
                  Angus Roberts and
                  Alan J. Robinson and
                  Tom Rodden and
                  Martin Senger and
                  Nick Sharman and
                  Robert Stevens and
                  Brian Warboys and
                  Anil Wipat and
                  Chris Wroe},
  title        = {On the Use of Agents in BioInformatics Grid},
  booktitle    = {3rd {IEEE} International Symposium on Cluster Computing and the Grid
                  (CCGrid 2003), 12-15 May 2003, Tokyo, Japan},
  pages        = {653--660},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/CCGRID.2003.1199429},
  doi          = {10.1109/CCGRID.2003.1199429},
  timestamp    = {Sun, 06 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ccgrid/MoreauMGGDAACRFGGGLLLLMOPPRRRRSSSWWW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/NoorPW03,
  author       = {Noor Maizura Mohamad Noor and
                  K. Nadia Papamichail and
                  Brian Warboys},
  title        = {Process Modelling for Online Communications in Tendering Processes},
  booktitle    = {29th {EUROMICRO} Conference 2003, New Waves in System Architecture,
                  3-5 September 2003, Belek-Antalya, Turkey},
  pages        = {17--24},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/EURMIC.2003.1231562},
  doi          = {10.1109/EURMIC.2003.1231562},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/euromicro/NoorPW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewspt/GreenwoodBCKMMQRSSWZ03,
  author       = {Robert Mark Greenwood and
                  Dharini Balasubramaniam and
                  Sorana C{\^{\i}}mpan and
                  Graham N. C. Kirby and
                  Kath Mickan and
                  Ronald Morrison and
                  Fl{\'{a}}vio Oquendo and
                  Ian Robertson and
                  Wykeen Seet and
                  Bob Snowdon and
                  Brian Warboys and
                  Evangelos Zirintsis},
  editor       = {Fl{\'{a}}vio Oquendo},
  title        = {Process Support for Evolving Active Architectures},
  booktitle    = {Software Process Technology, 9th International Workshop, {EWSPT} 2003,
                  Helsinki, Finland, September 1-2, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2786},
  pages        = {112--127},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45189-1\_9},
  doi          = {10.1007/978-3-540-45189-1\_9},
  timestamp    = {Tue, 16 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ewspt/GreenwoodBCKMMQRSSWZ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewspt/SeetW03,
  author       = {Wykeen Seet and
                  Brian Warboys},
  editor       = {Fl{\'{a}}vio Oquendo},
  title        = {A Compliant Environment for Enacting Evolvable Process Models},
  booktitle    = {Software Process Technology, 9th International Workshop, {EWSPT} 2003,
                  Helsinki, Finland, September 1-2, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2786},
  pages        = {154--163},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45189-1\_12},
  doi          = {10.1007/978-3-540-45189-1\_12},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ewspt/SeetW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/NoorPW03,
  author       = {Noor Maizura Mohamad Noor and
                  K. Nadia Papamichail and
                  Brian Warboys},
  title        = {A Web-Based Decision Support System for Tendering Processes},
  booktitle    = {{ICEIS} 2003, Proceedings of the 5th International Conference on Enterprise
                  Information Systems, Angers, France, April 22-26, 2003},
  pages        = {124--131},
  year         = {2003},
  timestamp    = {Thu, 09 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceis/NoorPW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpse/LinEW03,
  author       = {Liwen Lin and
                  Suzanne M. Embury and
                  Brian Warboys},
  title        = {Business Rule Evolution and Measures of Business Rule Evolution},
  booktitle    = {6th International Workshop on Principles of Software Evolution {(IWPSE}
                  2003), 1-2 September 2003, Helsinki, Finland},
  pages        = {121--125},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/IWPSE.2003.1231218},
  doi          = {10.1109/IWPSE.2003.1231218},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iwpse/LinEW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cys/Martinez-GarciaW01,
  author       = {Ana I. Mart{\'{\i}}nez{-}Garcia and
                  Brian Warboys},
  title        = {Understanding the Dynamics of Process Models: {A} Unified Approach},
  journal      = {Computaci{\'{o}}n y Sistemas},
  volume       = {5},
  number       = {1},
  year         = {2001},
  url          = {http://cys.cic.ipn.mx/ojs/index.php/CyS/article/view/967},
  timestamp    = {Thu, 11 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cys/Martinez-GarciaW01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewspt/CuninGFRW01,
  author       = {Pierre{-}Yves Cunin and
                  Robert Mark Greenwood and
                  Laurent Francou and
                  Ian Robertson and
                  Brian Warboys},
  editor       = {Vincenzo Ambriola},
  title        = {The {PIE} Methodology - Concept and Application},
  booktitle    = {Software Process Technology, 8th European Workshop, {EWSPT} 2001,
                  Witten, Germany, June 19-21, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2077},
  pages        = {3--26},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45752-6\_2},
  doi          = {10.1007/3-540-45752-6\_2},
  timestamp    = {Tue, 16 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ewspt/CuninGFRW01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewspt/GreenwoodBKMMSWZ01,
  author       = {Robert Mark Greenwood and
                  Dharini Balasubramaniam and
                  Graham N. C. Kirby and
                  Ken Mayes and
                  Ronald Morrison and
                  Wykeen Seet and
                  Brian Warboys and
                  Evangelos Zirintsis},
  editor       = {Vincenzo Ambriola},
  title        = {Reflection and Reification in Process System Evolution: Experience
                  and Opportunity},
  booktitle    = {Software Process Technology, 8th European Workshop, {EWSPT} 2001,
                  Witten, Germany, June 19-21, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2077},
  pages        = {27--38},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45752-6\_3},
  doi          = {10.1007/3-540-45752-6\_3},
  timestamp    = {Tue, 16 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ewspt/GreenwoodBKMMSWZ01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewspt/SaWGR01,
  author       = {Jin Sa and
                  Brian Warboys and
                  Robert Mark Greenwood and
                  Ian Robertson},
  editor       = {Vincenzo Ambriola},
  title        = {Modeling a Support Framework for Dynamic Organizations as a Process
                  Pattern Using {UML}},
  booktitle    = {Software Process Technology, 8th European Workshop, {EWSPT} 2001,
                  Witten, Germany, June 19-21, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2077},
  pages        = {203--216},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45752-6\_16},
  doi          = {10.1007/3-540-45752-6\_16},
  timestamp    = {Tue, 16 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ewspt/SaWGR01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/ChaudetGOW00,
  author       = {Christelle Chaudet and
                  Robert Mark Greenwood and
                  Fl{\'{a}}vio Oquendo and
                  Brian Warboys},
  title        = {Architecture-driven software engineering: Specifying, generating,
                  and evolving component- based software systems},
  journal      = {{IEE} Proc. Softw.},
  volume       = {147},
  number       = {6},
  pages        = {203--214},
  year         = {2000},
  url          = {https://doi.org/10.1049/ip-sen:20000916},
  doi          = {10.1049/IP-SEN:20000916},
  timestamp    = {Tue, 16 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iee/ChaudetGOW00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/MorrisonBGKMMW00,
  author       = {Ronald Morrison and
                  Dharini Balasubramaniam and
                  Robert Mark Greenwood and
                  Graham N. C. Kirby and
                  Ken Mayes and
                  David S. Munro and
                  Brian Warboys},
  title        = {A compliant persistent architecture},
  journal      = {Softw. Pract. Exp.},
  volume       = {30},
  number       = {4},
  pages        = {363--386},
  year         = {2000},
  url          = {https://doi.org/10.1002/(SICI)1097-024X(20000410)30:4\&\#60;363::AID-SPE303\&\#62;3.0.CO;2-P},
  doi          = {10.1002/(SICI)1097-024X(20000410)30:4\&\#60;363::AID-SPE303\&\#62;3.0.CO;2-P},
  timestamp    = {Tue, 16 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/spe/MorrisonBGKMMW00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewspt/GreenwoodRW00,
  author       = {Robert Mark Greenwood and
                  Ian Robertson and
                  Brian Warboys},
  editor       = {Reidar Conradi},
  title        = {A Support Framework for Dynamic Organizations},
  booktitle    = {Software Process Technology, 7th European Workshop, {EWSPT} 2000,
                  Kaprun, Austria, February 21-25, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1780},
  pages        = {6--20},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/BFb0095010},
  doi          = {10.1007/BFB0095010},
  timestamp    = {Tue, 16 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ewspt/GreenwoodRW00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/WarboysGK99,
  author       = {Brian Warboys and
                  Robert Mark Greenwood and
                  Peter Kawalek},
  title        = {Case for an explicit co-ordination layer in modern business information
                  systems architectures},
  journal      = {{IEE} Proc. Softw.},
  volume       = {146},
  number       = {3},
  pages        = {160--166},
  year         = {1999},
  url          = {https://doi.org/10.1049/ip-sen:19990615},
  doi          = {10.1049/IP-SEN:19990615},
  timestamp    = {Tue, 16 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iee/WarboysGK99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esec/WarboysBGKMMM99,
  author       = {Brian Warboys and
                  Dharini Balasubramaniam and
                  Robert Mark Greenwood and
                  Graham N. C. Kirby and
                  Ken Mayes and
                  Ronald Morrison and
                  David S. Munro},
  editor       = {Oscar Nierstrasz and
                  Michel Lemoine},
  title        = {Collaboration and Composition: Issues for a Second Generation Process
                  Language},
  booktitle    = {Software Engineering - ESEC/FSE'99, 7th European Software Engineering
                  Conference, Held Jointly with the 7th {ACM} {SIGSOFT} Symposium on
                  the Foundations of Software Engineering, Toulouse, France, September
                  1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1687},
  pages        = {75--90},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48166-4\_6},
  doi          = {10.1007/3-540-48166-4\_6},
  timestamp    = {Wed, 04 May 2022 13:01:10 +0200},
  biburl       = {https://dblp.org/rec/conf/esec/WarboysBGKMMM99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewspt/MontangeroDKW99,
  author       = {Carlo Montangero and
                  Jean{-}Claude Derniame and
                  Badara Ali Kaba and
                  Brian Warboys},
  editor       = {Jean{-}Claude Derniame and
                  Badara Ali Kaba and
                  David Graham Wastell},
  title        = {The Software Process: Modelling and Technology},
  booktitle    = {Software Process: Principles, Methodology, Technology},
  series       = {Lecture Notes in Computer Science},
  volume       = {1500},
  pages        = {1--14},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-49205-4\_1},
  doi          = {10.1007/3-540-49205-4\_1},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/ewspt/MontangeroDKW99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewspt/WarboyACCNR99,
  author       = {Brian Warboys and
                  Denis Avrilionis and
                  Reidar Conradi and
                  Pierre{-}Yves Cunin and
                  Minh Ngoc Nguyen and
                  Ian Robertson},
  editor       = {Jean{-}Claude Derniame and
                  Badara Ali Kaba and
                  David Graham Wastell},
  title        = {Meta-Process},
  booktitle    = {Software Process: Principles, Methodology, Technology},
  series       = {Lecture Notes in Computer Science},
  volume       = {1500},
  pages        = {53--94},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-49205-4\_4},
  doi          = {10.1007/3-540-49205-4\_4},
  timestamp    = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ewspt/WarboyACCNR99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amia/KayHAWRMPP98,
  author       = {Stephen Kay and
                  Nicholas R. Hardiker and
                  S. Aldridge and
                  Brian Warboys and
                  Ian Robertson and
                  Ana I. Mart{\'{\i}}nez{-}Garcia and
                  M. Pentreath and
                  M. Pitt},
  title        = {Process modelling and simulation for managing clinical care in the
                  community},
  booktitle    = {{AMIA} 1998, American Medical Informatics Association Annual Symposium,
                  Lake Buena Vista, FL, USA, November 7-11, 1998},
  publisher    = {{AMIA}},
  year         = {1998},
  url          = {https://knowledge.amia.org/amia-55142-a1998a-1.588514/t-001-1.590475/f-001-1.590476/a-049-1.590888/a-050-1.590885},
  timestamp    = {Wed, 04 Aug 2021 11:13:06 +0200},
  biburl       = {https://dblp.org/rec/conf/amia/KayHAWRMPP98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewspt/WarboysBGKMMM98,
  author       = {Brian Warboys and
                  Dharini Balasubramaniam and
                  Robert Mark Greenwood and
                  Graham N. C. Kirby and
                  Ken Mayes and
                  Ronald Morrison and
                  David S. Munro},
  editor       = {Volker Gruhn},
  title        = {Instances and Connectors: Issues for a Second Generation Process Language},
  booktitle    = {Software Process Technology, 6th European Workshop, {EWSPT} '98, Weybridge,
                  UK, September 16-18, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1487},
  pages        = {137--142},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-64956-5\_15},
  doi          = {10.1007/3-540-64956-5\_15},
  timestamp    = {Tue, 16 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ewspt/WarboysBGKMMM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GreenwoodWHH98,
  author       = {Robert Mark Greenwood and
                  Brian Warboys and
                  Rachel Harrison and
                  Peter Henderson},
  title        = {An Empirical Study of the Evolution of a Software System},
  booktitle    = {The Thirteenth {IEEE} Conference on Automated Software Engineering,
                  {ASE} 1998, Honolulu, Hawaii, USA, October 13-16, 1998},
  pages        = {293--296},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/ASE.1998.732683},
  doi          = {10.1109/ASE.1998.732683},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/GreenwoodWHH98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewspt/GreenwoodW96,
  author       = {Robert Mark Greenwood and
                  Brian Warboys},
  editor       = {Carlo Montangero},
  title        = {Process\emph{Web} - Process Support for the World Wide Web},
  booktitle    = {Software Process Technology, 5th European Workshop, {EWSPT} '96, Nancy,
                  France, October 9-11, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1149},
  pages        = {82--85},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/BFb0017733},
  doi          = {10.1007/BFB0017733},
  timestamp    = {Tue, 16 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ewspt/GreenwoodW96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewspt/Warboys96,
  author       = {Brian Warboys},
  editor       = {Carlo Montangero},
  title        = {Process Model Evolution Session},
  booktitle    = {Software Process Technology, 5th European Workshop, {EWSPT} '96, Nancy,
                  France, October 9-11, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1149},
  pages        = {92},
  publisher    = {Springer},
  year         = {1996},
  timestamp    = {Thu, 06 Nov 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ewspt/Warboys96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GreenwoodWS96,
  author       = {Robert Mark Greenwood and
                  Brian Warboys and
                  Jin Sa},
  editor       = {H. Dieter Rombach and
                  T. S. E. Maibaum and
                  Marvin V. Zelkowitz},
  title        = {Cooperating Evolving Components: {A} Rigorous Approach to Evolving
                  Large Software Systems},
  booktitle    = {18th International Conference on Software Engineering, Berlin, Germany,
                  March 25-29, 1996, Proceedings},
  pages        = {428--437},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {http://portal.acm.org/citation.cfm?id=227726.227814},
  timestamp    = {Tue, 16 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/GreenwoodWS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispw/GreenwoodKRW96,
  author       = {Robert Mark Greenwood and
                  Peter Kawalek and
                  Ian Robertson and
                  Brian Warboys},
  title        = {An asset view on the software process},
  booktitle    = {10th International Software Process Workshop, {ISPW} 1996, June 17-19,
                  1996, Dijon, France},
  pages        = {66--67},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/ISPW.1996.654372},
  doi          = {10.1109/ISPW.1996.654372},
  timestamp    = {Tue, 10 May 2022 15:36:10 +0200},
  biburl       = {https://dblp.org/rec/conf/ispw/GreenwoodKRW96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/MayesQW95,
  author       = {Ken Mayes and
                  Stuart Quick and
                  Brian Warboys},
  title        = {User-Level Threads on a General Hardware Interface},
  journal      = {{ACM} {SIGOPS} Oper. Syst. Rev.},
  volume       = {29},
  number       = {4},
  pages        = {57--62},
  year         = {1995},
  url          = {https://doi.org/10.1145/219282.219294},
  doi          = {10.1145/219282.219294},
  timestamp    = {Tue, 14 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigops/MayesQW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewspt/SaW95,
  author       = {Jin Sa and
                  Brian Warboys},
  editor       = {Wilhelm Sch{\"{a}}fer},
  title        = {A Reflexive Formal Software Process Model},
  booktitle    = {Software Process Technology, 4th European Workshop, {EWSPT} '95, Noordwijkerhout,
                  The Netherlands, April 3-5, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {913},
  pages        = {241--254},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59205-9\_65},
  doi          = {10.1007/3-540-59205-9\_65},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/ewspt/SaW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/er/Warboys94,
  author       = {Brian Warboys},
  editor       = {Pericles Loucopoulos},
  title        = {Reflections on the Relationship Between {BPR} and Software Process
                  Modelling},
  booktitle    = {Entity-Relationship Approach - ER'94, Business Modelling and Re-Engineering,
                  13th International Conference on the Entity-Relationship Approach,
                  Manchester, UK, December 13-16, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {881},
  pages        = {1--9},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58786-1\_69},
  doi          = {10.1007/3-540-58786-1\_69},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/er/Warboys94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewspt/SaW94,
  author       = {Jin Sa and
                  Brian Warboys},
  editor       = {Brian Warboys},
  title        = {Modelling Processes Using a Stepwise Refinement},
  booktitle    = {Software Process Technology, Third European Workshop, {EWSPT} '94,
                  Villard de Lans, France, February 7-9, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {772},
  pages        = {40--58},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-57739-4\_7},
  doi          = {10.1007/3-540-57739-4\_7},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/ewspt/SaW94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/KeaneSW94,
  author       = {John A. Keane and
                  Jin Sa and
                  Brian Warboys},
  editor       = {Maurice Naftalin and
                  B. Tim Denvir and
                  Miquel Bertran},
  title        = {Applying a Concurrent Formal Framework to Process Modelling},
  booktitle    = {{FME} '94: Industrial Benefit of Formal Methods, Second International
                  Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18,
                  1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {873},
  pages        = {291--305},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58555-9\_101},
  doi          = {10.1007/3-540-58555-9\_101},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/fm/KeaneSW94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ewspt/1994,
  editor       = {Brian Warboys},
  title        = {Software Process Technology, Third European Workshop, {EWSPT} '94,
                  Villard de Lans, France, February 7-9, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {772},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-57739-4},
  doi          = {10.1007/3-540-57739-4},
  isbn         = {3-540-57739-4},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ewspt/1994.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewspt/SaW92,
  author       = {Jin Sa and
                  Brian Warboys},
  editor       = {Jean{-}Claude Derniame},
  title        = {Integrating {A} Formal Specification Method with {PML:} {A} Case Study},
  booktitle    = {Software Process Technology, Second European Workshop, {EWSPT} '92,
                  Trondheim, Norway, September 7-8, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {635},
  pages        = {106--122},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/BFb0017510},
  doi          = {10.1007/BFB0017510},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/ewspt/SaW92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewspt/Warboys92,
  author       = {Brian Warboys},
  editor       = {Jean{-}Claude Derniame},
  title        = {Process Lifestyle - Session Introduction},
  booktitle    = {Software Process Technology, Second European Workshop, {EWSPT} '92,
                  Trondheim, Norway, September 7-8, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {635},
  pages        = {165--166},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/BFb0017518},
  doi          = {10.1007/BFB0017518},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ewspt/Warboys92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftcs/YeWK90,
  author       = {Xinfeng Ye and
                  Brian Warboys and
                  John A. Keane},
  title        = {Specification and proof of a distributed recovery algorithm},
  booktitle    = {Proceedings of the 20th International Symposium on Fault-Tolerant
                  Computing, {FTCS} 1990, Newcastle Upon Tyne, UK, 26-28 June, 1990},
  pages        = {307--314},
  publisher    = {{IEEE} Computer Society},
  year         = {1990},
  url          = {https://doi.org/10.1109/FTCS.1990.89377},
  doi          = {10.1109/FTCS.1990.89377},
  timestamp    = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/YeWK90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics