Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Joy N. Reed
@article{DBLP:journals/fac/ReedRS07, author = {Joy N. Reed and A. W. Roscoe and Jane E. Sinclair}, title = {Responsiveness and stable revivals}, journal = {Formal Aspects Comput.}, volume = {19}, number = {3}, pages = {303--319}, year = {2007}, url = {https://doi.org/10.1007/s00165-007-0032-9}, doi = {10.1007/S00165-007-0032-9}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/ReedRS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/ReedRS06, author = {Joy N. Reed and A. W. Roscoe and Jane E. Sinclair}, editor = {Ranko Lazic and Rajagopal Nagarajan}, title = {Machine-Verifiable Responsiveness}, booktitle = {Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, AVoCS 2005, University of Warwick, UK, September 12-13, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {145}, pages = {185--200}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.10.012}, doi = {10.1016/J.ENTCS.2005.10.012}, timestamp = {Thu, 15 Dec 2022 14:59:29 +0100}, biburl = {https://dblp.org/rec/journals/entcs/ReedRS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/ReedSR04, author = {Joy N. Reed and Jane E. Sinclair and A. W. Roscoe}, title = {Responsiveness of interoperating components}, journal = {Formal Aspects Comput.}, volume = {16}, number = {4}, pages = {394--411}, year = {2004}, url = {https://doi.org/10.1007/s00165-004-0050-9}, doi = {10.1007/S00165-004-0050-9}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/ReedSR04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tfm/ReedS04, author = {Joy N. Reed and Jane E. Sinclair}, editor = {C. Neville Dean and Raymond T. Boute}, title = {Motivating Study of Formal Methods in the Classroom}, booktitle = {Teaching Formal Methods, CoLogNET/FME Symposium, {TFM} 2004, Ghent, Belgium, November 18-19, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3294}, pages = {32--46}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30472-2\_3}, doi = {10.1007/978-3-540-30472-2\_3}, timestamp = {Thu, 20 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tfm/ReedS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/ReedS01, author = {Joy N. Reed and Jane E. Sinclair}, editor = {Heinrich Hu{\ss}mann}, title = {Combining Independent Specifications}, booktitle = {Fundamental Approaches to Software Engineering, 4th International Conference, {FASE} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2029}, pages = {45--59}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45314-8\_5}, doi = {10.1007/3-540-45314-8\_5}, timestamp = {Thu, 20 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fase/ReedS01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/ReedS00, author = {Joy N. Reed and Jane E. Sinclair}, editor = {Ted Hurley and M{\'{\i}}che{\'{a}}l Mac an Airchinnigh and Michel P. Schellekens and Anthony Karel Seda}, title = {Refinement-Preserving Plug-In Components}, booktitle = {First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, {MFCSIT} 2000, Cork, Ireland, July 20-21, 2000}, series = {Electronic Notes in Theoretical Computer Science}, volume = {40}, pages = {304--322}, publisher = {Elsevier}, year = {2000}, url = {https://doi.org/10.1016/S1571-0661(05)80059-3}, doi = {10.1016/S1571-0661(05)80059-3}, timestamp = {Wed, 30 Nov 2022 10:58:03 +0100}, biburl = {https://dblp.org/rec/journals/entcs/ReedS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifm/ReedSG99, author = {Joy N. Reed and Jane E. Sinclair and F. Guigand}, editor = {Keijiro Araki and Andy Galloway and Kenji Taguchi}, title = {Deductive Reasoning versus Model Checking: Two Formal Approaches for System Development}, booktitle = {Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999}, pages = {375--394}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/978-1-4471-0851-1\_20}, doi = {10.1007/978-1-4471-0851-1\_20}, timestamp = {Thu, 20 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifm/ReedSG99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ipps/CreeseR99, author = {S. J. Creese and Joy N. Reed}, editor = {Jos{\'{e}} D. P. Rolim and Frank Mueller and Albert Y. Zomaya and Fikret Er{\c{c}}al and Stephan Olariu and Binoy Ravindran and Jan Gustafsson and Hiroaki Takada and Ronald A. Olsson and Laxmikant V. Kal{\'{e}} and Peter H. Beckman and Matthew Haines and Hossam A. ElGindy and Denis Caromel and Serge Chaumette and Geoffrey C. Fox and Yi Pan and Keqin Li and Tao Yang and G. Ghiola and Gianni Conte and Luigi V. Mancini and Dominique M{\'{e}}ry and Beverly A. Sanders and Devesh Bhatt and Viktor K. Prasanna}, title = {Verifying End-to-End Protocols using Induction with {CSP/FDR}}, booktitle = {Parallel and Distributed Processing, 11 IPPS/SPDP'99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing, San Juan, Puerto Rico, USA, April 12-16, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1586}, pages = {1243--1257}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/BFb0098006}, doi = {10.1007/BFB0098006}, timestamp = {Mon, 22 Mar 2021 14:03:05 +0100}, biburl = {https://dblp.org/rec/conf/ipps/CreeseR99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pdpta/ReedS99, author = {Joy N. Reed and Jane E. Sinclair}, editor = {Hamid R. Arabnia}, title = {Routing - {A} Challenge to Formal Methods}, booktitle = {Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, {PDPTA} 1999, June 28 - Junlly 1, 1999, Las Vegas, Nevada, {USA}}, pages = {305--311}, publisher = {{CSREA} Press}, year = {1999}, timestamp = {Thu, 20 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pdpta/ReedS99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/ReedJDR98, author = {Joy N. Reed and D. M. Jackson and Borislav Deianov and George M. Reed}, editor = {Egidio Astesiano}, title = {Automated Formal Analysis of Networks: {FDR} Models of Arbitrary Topologies and Flow-Control Mechanisms}, booktitle = {Fundamental Approaches to Software Engineering, 1st Internationsl Conference, FASE'98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1382}, pages = {239--254}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0053594}, doi = {10.1007/BFB0053594}, timestamp = {Thu, 19 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fase/ReedJDR98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rtse/Reed97, author = {Joy N. Reed}, editor = {Manfred Broy and Bernhard Rumpe}, title = {Formal Methods and Industrial-Strength Computer Networks}, booktitle = {Requirements Targeting Software and Systems Engineering, International Workshop {RTSE} '97, Bernried, Germany, October 12-14, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1526}, pages = {223--233}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/10692867\_10}, doi = {10.1007/10692867\_10}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/rtse/Reed97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/concurrency/ReedPL96, author = {Joy N. Reed and Kevin Parrott and Tim Lanfear}, title = {Portability, predictability and performance for parallel computing: {BSP} in practice}, journal = {Concurr. Pract. Exp.}, volume = {8}, number = {10}, pages = {799--812}, year = {1996}, url = {https://doi.org/10.1002/(SICI)1096-9128(199612)8:10\&\#60;799::AID-CPE274\&\#62;3.0.CO;2-7}, doi = {10.1002/(SICI)1096-9128(199612)8:10\&\#60;799::AID-CPE274\&\#62;3.0.CO;2-7}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/concurrency/ReedPL96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/KayR93, author = {Andrew Kay and Joy N. Reed}, title = {A Rely and Guarantee Method for Timed {CSP:} {A} Specification and Design of a Telephone Exchange}, journal = {{IEEE} Trans. Software Eng.}, volume = {19}, number = {6}, pages = {625--639}, year = {1993}, url = {https://doi.org/10.1109/32.232027}, doi = {10.1109/32.232027}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/KayR93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rex/SchneiderDJRRR91, author = {Steve A. Schneider and Jim Davies and D. M. Jackson and George M. Reed and Joy N. Reed and A. W. Roscoe}, editor = {J. W. de Bakker and Cornelis Huizing and Willem P. de Roever and Grzegorz Rozenberg}, title = {Timed {CSP:} Theory and Practice}, booktitle = {Real-Time: Theory in Practice, {REX} Workshop, Mook, The Netherlands, June 3-7, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {600}, pages = {640--675}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/BFb0032011}, doi = {10.1007/BFB0032011}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rex/SchneiderDJRRR91.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.