BibTeX records: Joy N. Reed

download as .bib file

@article{DBLP:journals/fac/ReedRS07,
  author    = {Joy N. Reed and
               A. W. Roscoe and
               J. E. Sinclair},
  title     = {Responsiveness and stable revivals},
  journal   = {Formal Asp. 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 = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fac/ReedRS07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/ReedRS06,
  author    = {Joy N. Reed and
               A. W. Roscoe and
               Jane Sinclair},
  title     = {Machine-Verifiable Responsiveness},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {145},
  pages     = {185--200},
  year      = {2006},
  url       = {https://doi.org/10.1016/j.entcs.2005.10.012},
  doi       = {10.1016/j.entcs.2005.10.012},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/ReedRS06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/ReedSR04,
  author    = {Joy N. Reed and
               J. E. Sinclair and
               A. W. Roscoe},
  title     = {Responsiveness of interoperating components},
  journal   = {Formal Asp. 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 = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fac/ReedSR04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tfm/ReedS04,
  author    = {Joy N. Reed and
               Jane Sinclair},
  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},
  pages     = {32--46},
  year      = {2004},
  crossref  = {DBLP:conf/tfm/2004},
  url       = {https://doi.org/10.1007/978-3-540-30472-2\_3},
  doi       = {10.1007/978-3-540-30472-2\_3},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tfm/ReedS04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/ReedS01,
  author    = {Joy N. Reed and
               Jane Sinclair},
  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},
  pages     = {45--59},
  year      = {2001},
  crossref  = {DBLP:conf/fase/2001},
  url       = {https://doi.org/10.1007/3-540-45314-8\_5},
  doi       = {10.1007/3-540-45314-8\_5},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fase/ReedS01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/ReedS00,
  author    = {Joy N. Reed and
               J. E. Sinclair},
  title     = {Refinement-Preserving Plug-In Components},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {40},
  pages     = {304--322},
  year      = {2000},
  url       = {https://doi.org/10.1016/S1571-0661(05)80059-3},
  doi       = {10.1016/S1571-0661(05)80059-3},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/ReedS00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/ReedSG99,
  author    = {Joy N. Reed and
               J. E. Sinclair and
               F. Guigand},
  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},
  year      = {1999},
  crossref  = {DBLP:conf/ifm/1999},
  timestamp = {Sat, 09 Mar 2013 16:55:38 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ifm/ReedSG99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/CreeseR99,
  author    = {S. J. Creese and
               Joy N. Reed},
  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},
  pages     = {1243--1257},
  year      = {1999},
  crossref  = {DBLP:conf/ipps/1999w},
  url       = {https://doi.org/10.1007/BFb0098006},
  doi       = {10.1007/BFb0098006},
  timestamp = {Fri, 27 Oct 2017 17:06:30 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ipps/CreeseR99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdpta/ReedS99,
  author    = {Joy N. Reed and
               J. E. Sinclair},
  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},
  year      = {1999},
  crossref  = {DBLP:conf/pdpta/1999},
  timestamp = {Tue, 20 Apr 2004 14:47:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pdpta/ReedS99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/ReedJDR98,
  author    = {Joy N. Reed and
               D. M. Jackson and
               B. Deianov and
               George M. Reed},
  title     = {Automated Formal Analysis of Networks: {FDR} Models of Arbitrary Topologies
               and Flow-Control Mechanisms},
  booktitle = {{FASE}},
  pages     = {239--254},
  year      = {1998},
  url       = {https://doi.org/10.1007/BFb0053594},
  doi       = {10.1007/BFb0053594},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fase/ReedJDR98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtse/Reed97,
  author    = {Joy N. Reed},
  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},
  pages     = {223--233},
  year      = {1997},
  crossref  = {DBLP:conf/rtse/1997},
  url       = {https://doi.org/10.1007/10692867\_10},
  doi       = {10.1007/10692867\_10},
  timestamp = {Tue, 23 May 2017 14:54:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rtse/Reed97},
  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   = {Concurrency - Practice and Experience},
  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 = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/concurrency/ReedPL96},
  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/bib/journals/tse/KayR93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/SchneiderDJRRR91,
  author    = {Steve Schneider and
               Jim Davies and
               D. M. Jackson and
               George M. Reed and
               Joy N. Reed and
               A. W. Roscoe},
  title     = {Timed {CSP:} Theory and Practice},
  booktitle = {Real-Time: Theory in Practice, {REX} Workshop, Mook, The Netherlands,
               June 3-7, 1991, Proceedings},
  pages     = {640--675},
  year      = {1991},
  crossref  = {DBLP:conf/rex/1991},
  url       = {https://doi.org/10.1007/BFb0032011},
  doi       = {10.1007/BFb0032011},
  timestamp = {Sat, 20 May 2017 15:32:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rex/SchneiderDJRRR91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tfm/2004,
  editor    = {C. Neville Dean and
               Raymond T. Boute},
  title     = {Teaching Formal Methods, CoLogNET/FME Symposium, {TFM} 2004, Ghent,
               Belgium, November 18-19, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3294},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b102075},
  doi       = {10.1007/b102075},
  isbn      = {3-540-23611-2},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tfm/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fase/2001,
  editor    = {Heinrich Hu{\ss}mann},
  title     = {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},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45314-8},
  doi       = {10.1007/3-540-45314-8},
  isbn      = {3-540-41863-6},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fase/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifm/1999,
  editor    = {Keijiro Araki and
               Andy Galloway and
               Kenji Taguchi},
  title     = {Integrated Formal Methods, Proceedings of the 1st International Conference
               on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999},
  publisher = {Springer},
  year      = {1999},
  isbn      = {1-85233-107-0},
  timestamp = {Sat, 09 Mar 2013 16:55:38 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ifm/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ipps/1999w,
  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     = {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},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/BFb0097882},
  doi       = {10.1007/BFb0097882},
  isbn      = {3-540-65831-9},
  timestamp = {Fri, 27 Oct 2017 17:06:30 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ipps/1999w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pdpta/1999,
  editor    = {Hamid R. Arabnia},
  title     = {Proceedings of the International Conference on Parallel and Distributed
               Processing Techniques and Applications, {PDPTA} 1999, June 28 - Junlly
               1, 1999, Las Vegas, Nevada, {USA}},
  publisher = {{CSREA} Press},
  year      = {1999},
  isbn      = {1-892512-15-7},
  timestamp = {Tue, 20 Apr 2004 14:47:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pdpta/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rtse/1997,
  editor    = {Manfred Broy and
               Bernhard Rumpe},
  title     = {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},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/b71630},
  doi       = {10.1007/b71630},
  isbn      = {3-540-65309-0},
  timestamp = {Tue, 23 May 2017 14:54:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rtse/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rex/1991,
  editor    = {J. W. de Bakker and
               Cornelis Huizing and
               Willem P. de Roever and
               Grzegorz Rozenberg},
  title     = {Real-Time: Theory in Practice, {REX} Workshop, Mook, The Netherlands,
               June 3-7, 1991, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {600},
  publisher = {Springer},
  year      = {1992},
  url       = {https://doi.org/10.1007/BFb0031984},
  doi       = {10.1007/BFb0031984},
  isbn      = {3-540-55564-1},
  timestamp = {Sat, 20 May 2017 15:32:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rex/1991},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier