Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Stephen D. Brookes
@article{DBLP:journals/jssc/MaiDKTBGCBSK22,
author = {Dawei Mai and
Yann Donnelly and
Michael Peter Kennedy and
Stefano Tulisi and
James Breslin and
Patrick Griffin and
Michael Connor and
Stephen Brookes and
Brian Shelly and
Mike Keaveney},
title = {Wandering Spur Suppression in a 4.9-GHz Fractional-N Frequency Synthesizer},
journal = {{IEEE} J. Solid State Circuits},
volume = {57},
number = {7},
pages = {2011--2023},
year = {2022},
url = {https://doi.org/10.1109/JSSC.2022.3163080},
doi = {10.1109/JSSC.2022.3163080},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jssc/MaiDKTBGCBSK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esscirc/MaiDKTBGCBSK21,
author = {Dawei Mai and
Yann Donnelly and
Michael Peter Kennedy and
Stefano Tulisi and
James Breslin and
Patrick Griffin and
Michael Connor and
Stephen Brookes and
Brian Shelly and
Michael Keaveney},
title = {Experimental Verification of Wandering Spur Suppression Technique
in a 4.9 GHz Fractional-N Frequency Synthesizer},
booktitle = {47th {ESSCIRC} 2021 - European Solid State Circuits Conference, {ESSCIR}
2021, Grenoble, France, September 13-22, 2021},
pages = {439--442},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ESSCIRC53450.2021.9567841},
doi = {10.1109/ESSCIRC53450.2021.9567841},
timestamp = {Thu, 28 Oct 2021 16:11:37 +0200},
biburl = {https://dblp.org/rec/conf/esscirc/MaiDKTBGCBSK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/21/Brookes021,
author = {Stephen D. Brookes and
A. W. Roscoe},
editor = {Cliff B. Jones and
Jayadev Misra},
title = {{CSP:} {A} Practical Process Algebra},
booktitle = {Theories of Programming: The Life and Works of Tony Hoare},
series = {{ACM} Books},
volume = {39},
pages = {187--222},
publisher = {{ACM} / Morgan {\&} Claypool},
year = {2021},
url = {https://doi.org/10.1145/3477355.3477365},
doi = {10.1145/3477355.3477365},
timestamp = {Fri, 18 Aug 2023 18:15:50 +0200},
biburl = {https://dblp.org/rec/books/mc/21/Brookes021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/KavanaghB19,
author = {Ryan Kavanagh and
Stephen Brookes},
title = {A Denotational Semantics for {SPARC} {TSO}},
journal = {Log. Methods Comput. Sci.},
volume = {15},
number = {2},
year = {2019},
url = {https://doi.org/10.23638/LMCS-15(2:10)2019},
doi = {10.23638/LMCS-15(2:10)2019},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/KavanaghB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isscc/KennedyDBTPCBSG19,
author = {Michael Peter Kennedy and
Yann Donnelly and
James Breslin and
Stefano Tulisi and
Sanganagouda Patil and
Ciaran Curtin and
Stephen Brookes and
Brian Shelly and
Patrick Griffin and
Michael Keaveney},
title = {4.48GHz 0.18{\(\mu\)}m SiGe BiCMOS Exact-Frequency Fractional-N Frequency
Synthesizer with Spurious-Tone Suppression Yielding a -80dBc In-Band
Fractional Spur},
booktitle = {{IEEE} International Solid- State Circuits Conference, {ISSCC} 2019,
San Francisco, CA, USA, February 17-21, 2019},
pages = {272--274},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ISSCC.2019.8662327},
doi = {10.1109/ISSCC.2019.8662327},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/isscc/KennedyDBTPCBSG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KavanaghB18,
author = {Ryan Kavanagh and
Stephen Brookes},
editor = {Sam Staton},
title = {A Denotational Semantics for {SPARC} {TSO}},
booktitle = {Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2018, Dalhousie University, Halifax,
Canada, June 6-9, 2018},
series = {Electronic Notes in Theoretical Computer Science},
volume = {341},
pages = {223--239},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.entcs.2018.03.025},
doi = {10.1016/J.ENTCS.2018.03.025},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/KavanaghB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-04214,
author = {Ryan Kavanagh and
Stephen Brookes},
title = {A denotational account of C11-style memory},
journal = {CoRR},
volume = {abs/1804.04214},
year = {2018},
url = {http://arxiv.org/abs/1804.04214},
eprinttype = {arXiv},
eprint = {1804.04214},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-04214.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-00931,
author = {Ryan Kavanagh and
Stephen Brookes},
title = {A Denotational Semantics for {SPARC} {TSO}},
journal = {CoRR},
volume = {abs/1711.00931},
year = {2017},
url = {http://arxiv.org/abs/1711.00931},
eprinttype = {arXiv},
eprint = {1711.00931},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-00931.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/BrookesO16,
author = {Stephen Brookes and
Peter W. O'Hearn},
title = {Concurrent separation logic},
journal = {{ACM} {SIGLOG} News},
volume = {3},
number = {3},
pages = {47--65},
year = {2016},
url = {https://doi.org/10.1145/2984450.2984457},
doi = {10.1145/2984450.2984457},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/BrookesO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BrookesOR14,
author = {Stephen Brookes and
Peter W. O'Hearn and
Uday S. Reddy},
title = {The Essence of Reynolds},
journal = {Formal Aspects Comput.},
volume = {26},
number = {3},
pages = {435--439},
year = {2014},
url = {https://doi.org/10.1007/s00165-014-0295-x},
doi = {10.1007/S00165-014-0295-X},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BrookesOR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BrookesOR14,
author = {Stephen Brookes and
Peter W. O'Hearn and
Uday S. Reddy},
editor = {Suresh Jagannathan and
Peter Sewell},
title = {The essence of Reynolds},
booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21,
2014},
pages = {251--256},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2535838.2537851},
doi = {10.1145/2535838.2537851},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/BrookesOR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Brookes14,
author = {Stephen Brookes},
editor = {Bart Jacobs and
Alexandra Silva and
Sam Staton},
title = {On Grainless Footprint Semantics for Shared-memory Programs},
booktitle = {Proceedings of the 30th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2014, Ithaca, NY, USA, June 12-15,
2014},
series = {Electronic Notes in Theoretical Computer Science},
volume = {308},
pages = {65--86},
publisher = {Elsevier},
year = {2014},
url = {https://doi.org/10.1016/j.entcs.2014.10.005},
doi = {10.1016/J.ENTCS.2014.10.005},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Brookes14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrookesPPS13,
author = {Stephen Brookes and
Benjamin C. Pierce and
Gordon D. Plotkin and
Dana S. Scott},
editor = {Dexter Kozen and
Michael W. Mislove},
title = {Dedication},
booktitle = {Proceedings of the Twenty-ninth Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2013, New Orleans, LA, USA, June
23-25, 2013},
series = {Electronic Notes in Theoretical Computer Science},
volume = {298},
pages = {3--5},
publisher = {Elsevier},
year = {2013},
url = {https://doi.org/10.1016/j.entcs.2013.09.004},
doi = {10.1016/J.ENTCS.2013.09.004},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BrookesPPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrookesJMMP12,
author = {Stephen D. Brookes and
Achim Jung and
Catherine Meadows and
Michael W. Mislove and
Prakash Panangaden},
editor = {Ulrich Berger and
Michael W. Mislove},
title = {Dedication},
booktitle = {Proceedings of the 28th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2012, Bath, UK, June 6-9, 2012},
series = {Electronic Notes in Theoretical Computer Science},
volume = {286},
pages = {3},
publisher = {Elsevier},
year = {2012},
url = {https://doi.org/10.1016/j.entcs.2012.08.022},
doi = {10.1016/J.ENTCS.2012.08.022},
timestamp = {Tue, 19 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BrookesJMMP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Brookes12,
author = {Stephen Brookes},
editor = {Ulrich Berger and
Michael W. Mislove},
title = {Syntactic Control of Interference and Concurrent Separation Logic},
booktitle = {Proceedings of the 28th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2012, Bath, UK, June 6-9, 2012},
series = {Electronic Notes in Theoretical Computer Science},
volume = {286},
pages = {87--102},
publisher = {Elsevier},
year = {2012},
url = {https://doi.org/10.1016/j.entcs.2012.08.007},
doi = {10.1016/J.ENTCS.2012.08.007},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Brookes12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Brookes11,
author = {Stephen Brookes},
editor = {Michael W. Mislove and
Jo{\"{e}}l Ouaknine},
title = {A Revisionist History of Concurrent Separation Logic},
booktitle = {Twenty-seventh Conference on the Mathematical Foundations of Programming
Semantics, {MFPS} 2011, Pittsburgh, PA, USA, May 25-28, 2011},
series = {Electronic Notes in Theoretical Computer Science},
volume = {276},
pages = {5--28},
publisher = {Elsevier},
year = {2011},
url = {https://doi.org/10.1016/j.entcs.2011.09.013},
doi = {10.1016/J.ENTCS.2011.09.013},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Brookes11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Brookes10,
author = {Stephen Brookes},
editor = {Michael W. Mislove and
Peter Selinger},
title = {Fairness, Resources, and Separation},
booktitle = {Proceedings of the 26th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2010, Ottawa, Ontario, Canada, May
6-10, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {265},
pages = {177--195},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2010.08.011},
doi = {10.1016/J.ENTCS.2010.08.011},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Brookes10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Brookes07,
author = {Stephen Brookes},
title = {A semantics for concurrent separation logic},
journal = {Theor. Comput. Sci.},
volume = {375},
number = {1-3},
pages = {227--270},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2006.12.034},
doi = {10.1016/J.TCS.2006.12.034},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Brookes07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrookesM06,
author = {Stephen D. Brookes and
Michael W. Mislove},
editor = {Stephen D. Brookes and
Michael W. Mislove},
title = {Preface},
booktitle = {Proceedings of the 22nd Annual Conference on Mathematical Foundations
of Programming Semantics, {MFPS} 2006, Genova, Italy, May 23-27, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {158},
pages = {1--2},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.04.001},
doi = {10.1016/J.ENTCS.2006.04.001},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BrookesM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Brookes06a,
author = {Stephen D. Brookes},
editor = {Stephen D. Brookes and
Michael W. Mislove},
title = {Variables as Resource for Shared-Memory Programs: Semantics and Soundness},
booktitle = {Proceedings of the 22nd Annual Conference on Mathematical Foundations
of Programming Semantics, {MFPS} 2006, Genova, Italy, May 23-27, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {158},
pages = {123--150},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.04.008},
doi = {10.1016/J.ENTCS.2006.04.008},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Brookes06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mfps/2006,
editor = {Stephen D. Brookes and
Michael W. Mislove},
title = {Proceedings of the 22nd Annual Conference on Mathematical Foundations
of Programming Semantics, {MFPS} 2006, Genova, Italy, May 23-27, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {158},
publisher = {Elsevier},
year = {2006},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/158/suppl/C},
timestamp = {Mon, 13 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfps/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Brookes06b,
author = {Stephen Brookes},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {Retracing {CSP}},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {127--133},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.01.028},
doi = {10.1016/J.ENTCS.2006.01.028},
timestamp = {Fri, 20 Jan 2023 12:38:53 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Brookes06b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Brookes06,
author = {Stephen Brookes},
editor = {Mart{\'{\i}}n H{\"{o}}tzel Escard{\'{o}} and
Achim Jung and
Michael W. Mislove},
title = {A Grainless Semantics for Parallel Programs with Shared Mutable Data},
booktitle = {Proceedings of the 21st Annual Conference on Mathematical Foundations
of Programming Semantics, {MFPS} 2005, Birmingham, UK, May 18-21,
2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {155},
pages = {277--307},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.11.060},
doi = {10.1016/J.ENTCS.2005.11.060},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Brookes06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Brookes04,
author = {Stephen D. Brookes},
editor = {Ali E. Abdallah and
Cliff B. Jones and
Jeff W. Sanders},
title = {Retracing the Semantics of {CSP}},
booktitle = {Communicating Sequential Processes: The First 25 Years, Symposium
on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised
Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {3525},
pages = {1--14},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11423348\_1},
doi = {10.1007/11423348\_1},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Brookes04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Brookes04,
author = {Stephen D. Brookes},
editor = {Philippa Gardner and
Nobuko Yoshida},
title = {A Semantics for Concurrent Separation Logic},
booktitle = {{CONCUR} 2004 - Concurrency Theory, 15th International Conference,
London, UK, August 31 - September 3, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3170},
pages = {16--34},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-28644-8\_2},
doi = {10.1007/978-3-540-28644-8\_2},
timestamp = {Fri, 27 Mar 2020 08:51:56 +0100},
biburl = {https://dblp.org/rec/conf/concur/Brookes04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mfps/2003,
editor = {Stephen D. Brookes and
Prakash Panangaden},
title = {Proceedings of 19th Conference on the Mathematical Foundations of
Programming Semantics, {MFPS} 2003, Universit{\'{e}} de Montr{\'{e}}al,
QC, Canada, March 19-22, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {83},
publisher = {Elsevier},
year = {2003},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/83/suppl/C},
timestamp = {Tue, 14 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfps/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Brookes02,
author = {Stephen D. Brookes},
title = {The Essence of Parallel Algol},
journal = {Inf. Comput.},
volume = {179},
number = {1},
pages = {118--149},
year = {2002},
url = {https://doi.org/10.1006/inco.2002.2995},
doi = {10.1006/INCO.2002.2995},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Brookes02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BrookesM02,
author = {Stephen D. Brookes and
Michael W. Mislove},
title = {Foreword - {MFPS} 1996},
journal = {Theor. Comput. Sci.},
volume = {278},
number = {1-2},
pages = {1--2},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(00)00327-3},
doi = {10.1016/S0304-3975(00)00327-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BrookesM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BrooksM02,
author = {Stephen D. Brookes and
Michael W. Mislove},
title = {Dedication},
journal = {Theor. Comput. Sci.},
volume = {278},
number = {1-2},
pages = {23},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(00)00329-7},
doi = {10.1016/S0304-3975(00)00329-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BrooksM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Brookes02,
author = {Stephen D. Brookes},
editor = {Lubos Brim and
Petr Jancar and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and
Anton{\'{\i}}n Kucera},
title = {Traces, Pomsets, Fairness and Full Abstraction for Communicating Processes},
booktitle = {{CONCUR} 2002 - Concurrency Theory, 13th International Conference,
Brno, Czech Republic, August 20-23, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2421},
pages = {466--482},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45694-5\_31},
doi = {10.1007/3-540-45694-5\_31},
timestamp = {Fri, 30 Aug 2019 10:02:28 +0200},
biburl = {https://dblp.org/rec/conf/concur/Brookes02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Brookes01,
author = {Stephen D. Brookes},
editor = {Stephen D. Brookes and
Michael W. Mislove},
title = {Transfer Principles for Reasoning About Concurrent Programs},
booktitle = {Seventeenth Conference on the Mathematical Foundations of Programming
Semantics, {MFPS} 2001, Aarhus, Denmark, May 23-26, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {45},
pages = {22--40},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80953-8},
doi = {10.1016/S1571-0661(04)80953-8},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Brookes01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrookesM01,
author = {Stephen D. Brookes and
Michael W. Mislove},
editor = {Stephen D. Brookes and
Michael W. Mislove},
title = {Preface},
booktitle = {Seventeenth Conference on the Mathematical Foundations of Programming
Semantics, {MFPS} 2001, Aarhus, Denmark, May 23-26, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {45},
pages = {463--464},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(05)81054-0},
doi = {10.1016/S1571-0661(05)81054-0},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BrookesM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mfps/2001,
editor = {Stephen D. Brookes and
Michael W. Mislove},
title = {Seventeenth Conference on the Mathematical Foundations of Programming
Semantics, {MFPS} 2001, Aarhus, Denmark, May 23-26, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {45},
publisher = {Elsevier},
year = {2001},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/45/suppl/C},
timestamp = {Mon, 13 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfps/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Brookes99,
author = {Stephen D. Brookes},
editor = {Stephen D. Brookes and
Achim Jung and
Michael W. Mislove and
Andre Scedrov},
title = {Reasoning About Recursive Processes: Expansion is not Always Fair},
booktitle = {Fifteenth Conference on Mathematical Foundations of Progamming Semantics,
{MFPS} 1999, Tulane University, New Orleans, LA, USA, April 28 - May
1, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {20},
pages = {182--201},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(04)80074-4},
doi = {10.1016/S1571-0661(04)80074-4},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Brookes99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrookesJMS99,
author = {Stephen D. Brookes and
Achim Jung and
Michael W. Mislove and
Andre Scedrov},
editor = {Stephen D. Brookes and
Achim Jung and
Michael W. Mislove and
Andre Scedrov},
title = {Preface},
booktitle = {Fifteenth Conference on Mathematical Foundations of Progamming Semantics,
{MFPS} 1999, Tulane University, New Orleans, LA, USA, April 28 - May
1, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {20},
pages = {512--513},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80552-3},
doi = {10.1016/S1571-0661(05)80552-3},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BrookesJMS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mfps/1999,
editor = {Stephen D. Brookes and
Achim Jung and
Michael W. Mislove and
Andre Scedrov},
title = {Fifteenth Conference on Mathematical Foundations of Progamming Semantics,
{MFPS} 1999, Tulane University, New Orleans, LA, USA, April 28 - May
1, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {20},
publisher = {Elsevier},
year = {1999},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/20/suppl/C},
timestamp = {Tue, 14 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfps/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrookesMMM97,
author = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove},
editor = {Stephen D. Brookes and
Michael W. Mislove},
title = {Foreword},
booktitle = {Thirteenth Annual Conference on Mathematical Foundations of Progamming
Semantics, {MFPS} 1997, Carnegie Mellon University, Pittsburgh, PA,
USA, March 23-26, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {6},
pages = {1--2},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80172-0},
doi = {10.1016/S1571-0661(05)80172-0},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BrookesMMM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Brookes97,
author = {Stephen D. Brookes},
editor = {Stephen D. Brookes and
Michael W. Mislove},
title = {Idealized {CSP:} combining procedures with communicating processes},
booktitle = {Thirteenth Annual Conference on Mathematical Foundations of Progamming
Semantics, {MFPS} 1997, Carnegie Mellon University, Pittsburgh, PA,
USA, March 23-26, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {6},
pages = {60--76},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80169-0},
doi = {10.1016/S1571-0661(05)80169-0},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Brookes97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mfps/1997,
editor = {Stephen D. Brookes and
Michael W. Mislove},
title = {Thirteenth Annual Conference on Mathematical Foundations of Progamming
Semantics, {MFPS} 1997, Carnegie Mellon University, Pittsburgh, PA,
USA, March 23-26, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {6},
publisher = {Elsevier},
year = {1997},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/6/suppl/C},
timestamp = {Tue, 14 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfps/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Brookes96,
author = {Stephen D. Brookes},
title = {Full Abstraction for a Shared-Variable Parallel Language},
journal = {Inf. Comput.},
volume = {127},
number = {2},
pages = {145--163},
year = {1996},
url = {https://doi.org/10.1006/inco.1996.0056},
doi = {10.1006/INCO.1996.0056},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Brookes96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Brookes96,
author = {Stephen D. Brookes},
title = {The Essence of Parallel Algol},
booktitle = {Proceedings, 11th Annual {IEEE} Symposium on Logic in Computer Science,
New Brunswick, New Jersey, USA, July 27-30, 1996},
pages = {164--173},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/LICS.1996.561315},
doi = {10.1109/LICS.1996.561315},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Brookes96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Brookes95,
author = {Stephen D. Brookes},
editor = {David H. Pitt and
David E. Rydeheard and
Peter T. Johnstone},
title = {A Category-Theoretic Treatment of a Parallel Algol-Like Language},
booktitle = {Category Theory and Computer Science, 6th International Conference,
{CTCS} '95, Cambridge, UK, August 7-11, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {953},
pages = {180--181},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60164-3\_26},
doi = {10.1007/3-540-60164-3\_26},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Brookes95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BrookesD95,
author = {Stephen D. Brookes and
Denis Dancanet},
editor = {Ron K. Cytron and
Peter Lee},
title = {Sequential Algorithms, Deterministic Parallelism, and Intensional
Expressiveness},
booktitle = {Conference Record of POPL'95: 22nd {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Francisco, California,
USA, January 23-25, 1995},
pages = {13--24},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/199448.199451},
doi = {10.1145/199448.199451},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/BrookesD95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrookesMMM95,
author = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove},
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove},
title = {Foreword and Dedication},
booktitle = {Eleventh Annual Conference on Mathematical Foundations of Programming
Semantics, {MFPS} 1995, Tulane University, New Orleans, LA, USA, March
29 - April 1, 1995},
series = {Electronic Notes in Theoretical Computer Science},
volume = {1},
pages = {557--558},
publisher = {Elsevier},
year = {1995},
url = {https://doi.org/10.1016/S1571-0661(05)80562-6},
doi = {10.1016/S1571-0661(05)80562-6},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BrookesMMM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mfps/1995,
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove},
title = {Eleventh Annual Conference on Mathematical Foundations of Programming
Semantics, {MFPS} 1995, Tulane University, New Orleans, LA, USA, March
29 - April 1, 1995},
series = {Electronic Notes in Theoretical Computer Science},
volume = {1},
publisher = {Elsevier},
year = {1995},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/1/suppl/C},
timestamp = {Tue, 14 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfps/1995.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mfps/1993,
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Mathematical Foundations of Programming Semantics, 9th International
Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {802},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58027-1},
doi = {10.1007/3-540-58027-1},
isbn = {3-540-58027-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/1993.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/Brookes93,
author = {Stephen D. Brookes},
title = {Using Fixed-Point Semantics to Prove Retiming Lemmas},
journal = {Formal Methods Syst. Des.},
volume = {2},
number = {1},
pages = {73--91},
year = {1993},
url = {https://doi.org/10.1007/BF01383944},
doi = {10.1007/BF01383944},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/Brookes93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Brookes93,
author = {Stephen D. Brookes},
title = {Historical Introduction to "Concrete Domains" by G. Kahn
and Gordon D. Plotkin},
journal = {Theor. Comput. Sci.},
volume = {121},
number = {1{\&}2},
pages = {179--186},
year = {1993},
url = {https://doi.org/10.1016/0304-3975(93)90089-C},
doi = {10.1016/0304-3975(93)90089-C},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Brookes93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Brooks93,
author = {Stephen D. Brookes},
title = {Full Abstraction for a Shared Variable Parallel Language},
booktitle = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
{(LICS} '93), Montreal, Canada, June 19-23, 1993},
pages = {98--109},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/LICS.1993.287596},
doi = {10.1109/LICS.1993.287596},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Brooks93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/BrookesG93,
author = {Stephen D. Brookes and
Shai Geva},
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Sequential Functions on Indexed Domains and Full Abstraction for a
Sub-Language of {PCF}},
booktitle = {Mathematical Foundations of Programming Semantics, 9th International
Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {802},
pages = {320--332},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58027-1\_16},
doi = {10.1007/3-540-58027-1\_16},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/mfps/BrookesG93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BrookesG92,
author = {Stephen D. Brookes and
Shai Geva},
title = {Towards a Theory of Parallel Algorithms on Concrete Data Structures},
journal = {Theor. Comput. Sci.},
volume = {101},
number = {2},
pages = {177--221},
year = {1992},
url = {https://doi.org/10.1016/0304-3975(92)90049-L},
doi = {10.1016/0304-3975(92)90049-L},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BrookesG92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mfps/1991,
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Mathematical Foundations of Programming Semantics, 7th International
Conference, Pittsburgh, PA, USA, March 25-28, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {598},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55511-0},
doi = {10.1007/3-540-55511-0},
isbn = {3-540-55511-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/1991.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/BrookesR91,
author = {Stephen D. Brookes and
A. W. Roscoe},
title = {Deadlock Analysis in Networks of Communicating Processes},
journal = {Distributed Comput.},
volume = {4},
pages = {209--230},
year = {1991},
url = {https://doi.org/10.1007/BF01784721},
doi = {10.1007/BF01784721},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dc/BrookesR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/BrookesG91,
author = {Stephen D. Brookes and
Shai Geva},
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Continuous Functions and Parallel Algorithms on Concrete Data Structures},
booktitle = {Mathematical Foundations of Programming Semantics, 7th International
Conference, Pittsburgh, PA, USA, March 25-28, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {598},
pages = {326--349},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55511-0\_17},
doi = {10.1007/3-540-55511-0\_17},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/mfps/BrookesG91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Brookes87,
author = {Stephen D. Brookes},
editor = {Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Semantically Based Axiomatics},
booktitle = {Mathematical Foundations of Programming Language Semantics, 3rd Workshop,
Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {298},
pages = {312--330},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-19020-1\_16},
doi = {10.1007/3-540-19020-1\_16},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Brookes87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Brookes86,
author = {Stephen D. Brookes},
title = {A Semantically Based Proof System for Partial Correctness and Deadlock
in {CSP}},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'86), Cambridge, Massachusetts, USA, June 16-18, 1986},
pages = {58--65},
publisher = {{IEEE} Computer Society},
year = {1986},
timestamp = {Thu, 22 Jan 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Brookes86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Brookes85,
author = {Stephen D. Brookes},
editor = {Rohit Parikh},
title = {An Axiomatic Treatment of a Parallel Programming Language},
booktitle = {Logics of Programs, Conference, Brooklyn College, New York, NY, USA,
June 17-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {193},
pages = {41--60},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15648-8\_4},
doi = {10.1007/3-540-15648-8\_4},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/lop/Brookes85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Brookes85,
author = {Stephen D. Brookes},
editor = {Austin Melton},
title = {A Fully Abstract Semantics and a Proof System for an ALGOL-Like Language
with Sharing},
booktitle = {Mathematical Foundations of Programming Semantics, International Conference,
Manhattan, Kansas, USA, April 11-12, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {239},
pages = {59--100},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16816-8\_26},
doi = {10.1007/3-540-16816-8\_26},
timestamp = {Fri, 17 Jul 2020 16:12:48 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Brookes85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/1984,
editor = {Stephen D. Brookes and
A. W. Roscoe and
Glynn Winskel},
title = {Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA,
USA, July 9-11, 1984},
series = {Lecture Notes in Computer Science},
volume = {197},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15670-4},
doi = {10.1007/3-540-15670-4},
isbn = {3-540-15670-4},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/1984.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/BrookesHR84,
author = {Stephen D. Brookes and
C. A. R. Hoare and
A. W. Roscoe},
title = {A Theory of Communicating Sequential Processes},
journal = {J. {ACM}},
volume = {31},
number = {3},
pages = {560--599},
year = {1984},
url = {https://doi.org/10.1145/828.833},
doi = {10.1145/828.833},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacm/BrookesHR84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Brookes84,
author = {Stephen D. Brookes},
editor = {Stephen D. Brookes and
A. W. Roscoe and
Glynn Winskel},
title = {On the Axiomatic Treatment of Concurrency},
booktitle = {Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA,
USA, July 9-11, 1984},
series = {Lecture Notes in Computer Science},
volume = {197},
pages = {1--34},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-15670-4\_1},
doi = {10.1007/3-540-15670-4\_1},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/concur/Brookes84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BrookesR84,
author = {Stephen D. Brookes and
A. W. Roscoe},
editor = {Stephen D. Brookes and
A. W. Roscoe and
Glynn Winskel},
title = {An Improved Failures Model for Communicating Processes},
booktitle = {Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA,
USA, July 9-11, 1984},
series = {Lecture Notes in Computer Science},
volume = {197},
pages = {281--305},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-15670-4\_14},
doi = {10.1007/3-540-15670-4\_14},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BrookesR84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nato/BrookesR84,
author = {Stephen D. Brookes and
A. W. Roscoe},
editor = {Krzysztof R. Apt},
title = {Deadlock Analysis in Networks of Communicating Processes},
booktitle = {Logics and Models of Concurrent Systems - Conference proceedings,
Colle-sur-Loup (near Nice), France, 8-19 October 1984},
series = {{NATO} {ASI} Series},
volume = {13},
pages = {305--323},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/978-3-642-82453-1\_10},
doi = {10.1007/978-3-642-82453-1\_10},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nato/BrookesR84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Brookes83,
author = {Stephen D. Brookes},
editor = {Josep D{\'{\i}}az},
title = {On the Relationship of {CCS} and {CSP}},
booktitle = {Automata, Languages and Programming, 10th Colloquium, Barcelona, Spain,
July 18-22, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {154},
pages = {83--96},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/BFb0036899},
doi = {10.1007/BFB0036899},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Brookes83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BrookesR83,
author = {Stephen D. Brookes and
William C. Rounds},
editor = {Josep D{\'{\i}}az},
title = {Behavioural Equivalence Relations Induced by Programming Logics},
booktitle = {Automata, Languages and Programming, 10th Colloquium, Barcelona, Spain,
July 18-22, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {154},
pages = {97--108},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/BFb0036900},
doi = {10.1007/BFB0036900},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BrookesR83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Brookes83,
author = {Stephen D. Brookes},
editor = {Edmund M. Clarke and
Dexter Kozen},
title = {A Semantics and Proof System for Communicating Processes},
booktitle = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh,
PA, USA, June 6-8, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {164},
pages = {68--85},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12896-4\_356},
doi = {10.1007/3-540-12896-4\_356},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/lop/Brookes83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/RoundsB81,
author = {William C. Rounds and
Stephen D. Brookes},
title = {Possible Futures, Acceptances, Refusals, and Communicating Processes},
booktitle = {22nd Annual Symposium on Foundations of Computer Science, Nashville,
Tennessee, USA, 28-30 October 1981},
pages = {140--149},
publisher = {{IEEE} Computer Society},
year = {1981},
url = {https://doi.org/10.1109/SFCS.1981.36},
doi = {10.1109/SFCS.1981.36},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/RoundsB81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 01:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
