Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Joseph E. Stoy
@inproceedings{DBLP:conf/memocode/CzeckNS06, author = {E. Czeck and Ravi Nanavati and Joseph E. Stoy}, title = {Reliable design with multiple clock domains}, booktitle = {4th {ACM} {\&} {IEEE} International Conference on Formal Methods and Models for Co-Design {(MEMOCODE} 2006), 27-29 July 2006, Embassy Suites, Napa, California, {USA}}, pages = {139--148}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.org/10.1109/MEMCOD.2006.1695917}, doi = {10.1109/MEMCOD.2006.1695917}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/memocode/CzeckNS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/StoySA01, author = {Joseph E. Stoy and Xiaowei Shen and Arvind}, editor = {Jos{\'{e}} Nuno Oliveira and Pamela Zave}, title = {Proofs of Correctness of Cache-Coherence Protocols}, booktitle = {{FME} 2001: Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2021}, pages = {43--71}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45251-6\_4}, doi = {10.1007/3-540-45251-6\_4}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/fm/StoySA01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Stoy00, author = {Joseph E. Stoy}, title = {Christopher Strachey and Fundamental Concepts}, journal = {High. Order Symb. Comput.}, volume = {13}, number = {1/2}, pages = {115--117}, year = {2000}, url = {https://doi.org/10.1023/A:1010070228552}, doi = {10.1023/A:1010070228552}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Stoy00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/ArvindMNS98, author = {Arvind and Jan{-}Willem Maessen and Rishiyur S. Nikhil and Joseph E. Stoy}, editor = {Uwe Nestmann and Benjamin C. Pierce}, title = {LambdaS: an implicitly parallel lambda-calculus with letrec, synchronization and side-effects}, booktitle = {3rd International Workshop on High-Level Concurrent Languages, {HLCL} 1998, Satellite Workshop of {CONCUR} 1998, Nice, France, September 12, 1998}, series = {Electronic Notes in Theoretical Computer Science}, volume = {16}, number = {3}, pages = {265--290}, publisher = {Elsevier}, year = {1998}, url = {https://doi.org/10.1016/S1571-0661(04)00146-X}, doi = {10.1016/S1571-0661(04)00146-X}, timestamp = {Fri, 11 Nov 2022 14:28:39 +0100}, biburl = {https://dblp.org/rec/journals/entcs/ArvindMNS98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/ArvindMNS96, author = {Arvind and Jan{-}Willem Maessen and Rishiyur S. Nikhil and Joseph E. Stoy}, editor = {Vijay Chandru and V. Vinay}, title = {A Lambda Calculus with Letrecs and Barriers}, booktitle = {Foundations of Software Technology and Theoretical Computer Science, 16th Conference, Hyderabad, India, December 18-20, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1180}, pages = {19--36}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-62034-6\_34}, doi = {10.1007/3-540-62034-6\_34}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/ArvindMNS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fpca/AdityaAS95, author = {Shail Aditya and Arvind and Joseph E. Stoy}, editor = {John Williams}, title = {Semantics of Barriers in a Non-Strict, Implicitly-Parallel Language}, booktitle = {Proceedings of the seventh international conference on Functional programming languages and computer architecture, {FPCA} 1995, La Jolla, California, USA, June 25-28, 1995}, pages = {204--215}, publisher = {{ACM}}, year = {1995}, url = {https://doi.org/10.1145/224164.224206}, doi = {10.1145/224164.224206}, timestamp = {Tue, 06 Nov 2018 11:07:48 +0100}, biburl = {https://dblp.org/rec/conf/fpca/AdityaAS95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/fpca/1989, editor = {Joseph E. Stoy}, title = {Proceedings of the fourth international conference on Functional programming languages and computer architecture, {FPCA} 1989, London, UK, September 11-13, 1989}, publisher = {{ACM}}, year = {1989}, url = {https://doi.org/10.1145/99370}, doi = {10.1145/99370}, isbn = {0-201-51389-7}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fpca/1989.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Stoy81, author = {Joseph E. Stoy}, title = {The Congruence of two Programming Language Definitions}, journal = {Theor. Comput. Sci.}, volume = {13}, pages = {151--174}, year = {1981}, url = {https://doi.org/10.1016/0304-3975(81)90037-2}, doi = {10.1016/0304-3975(81)90037-2}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Stoy81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ac/Stoy79, author = {Joseph E. Stoy}, editor = {Dines Bj{\o}rner}, title = {Foundations of Denotational Semantics}, booktitle = {Abstract Software Specifications, 1979 Copenhagen Winter School, January 22 - February 2, 1979, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {86}, pages = {43--99}, publisher = {Springer}, year = {1979}, url = {https://doi.org/10.1007/3-540-10007-5\_35}, doi = {10.1007/3-540-10007-5\_35}, timestamp = {Fri, 17 Jul 2020 16:12:46 +0200}, biburl = {https://dblp.org/rec/conf/ac/Stoy79.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cj/StoyS72, author = {Joseph E. Stoy and Christopher S. Strachey}, title = {{OS6} - an experimental operating system for a small computer. Part 1: general principles and structure}, journal = {Comput. J.}, volume = {15}, number = {2}, pages = {117--124}, year = {1972}, url = {https://doi.org/10.1093/comjnl/15.2.117}, doi = {10.1093/COMJNL/15.2.117}, timestamp = {Thu, 15 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cj/StoyS72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cj/StoyS72a, author = {Joseph E. Stoy and Christopher S. Strachey}, title = {{OS6} - an experimental operating system for a small computer. Part 2: input/output and filing system}, journal = {Comput. J.}, volume = {15}, number = {3}, pages = {195--203}, year = {1972}, url = {https://doi.org/10.1093/comjnl/15.3.195}, doi = {10.1093/COMJNL/15.3.195}, timestamp = {Thu, 15 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cj/StoyS72a.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.