Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/hlcl/hlcl1998.bht:"
@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:journals/entcs/FessantM98, author = {Fabrice Le Fessant and Luc Maranget}, editor = {Uwe Nestmann and Benjamin C. Pierce}, title = {Compiling Join-Patterns}, 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 = {205--224}, publisher = {Elsevier}, year = {1998}, url = {https://doi.org/10.1016/S1571-0661(04)00143-4}, doi = {10.1016/S1571-0661(04)00143-4}, timestamp = {Fri, 11 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/FessantM98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/GordonH98, author = {Andrew D. Gordon and Paul D. Hankin}, editor = {Uwe Nestmann and Benjamin C. Pierce}, title = {A Concurrent Object Calculus: Reduction and Typing}, 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 = {248--264}, publisher = {Elsevier}, year = {1998}, url = {https://doi.org/10.1016/S1571-0661(04)00145-8}, doi = {10.1016/S1571-0661(04)00145-8}, timestamp = {Fri, 11 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/GordonH98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/HennessyR98, author = {Matthew Hennessy and James Riely}, editor = {Uwe Nestmann and Benjamin C. Pierce}, title = {Resource Access Control in Systems of Mobile Agents}, 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 = {174--188}, publisher = {Elsevier}, year = {1998}, url = {https://doi.org/10.1016/S1571-0661(04)00141-0}, doi = {10.1016/S1571-0661(04)00141-0}, timestamp = {Fri, 11 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/HennessyR98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/NestmannP98, author = {Uwe Nestmann and Benjamin C. Pierce}, editor = {Uwe Nestmann and Benjamin C. Pierce}, title = {Preface}, 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 = {291}, publisher = {Elsevier}, year = {1998}, url = {https://doi.org/10.1016/S1571-0661(05)80567-5}, doi = {10.1016/S1571-0661(05)80567-5}, timestamp = {Fri, 11 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/NestmannP98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/SumiiK98, author = {Eijiro Sumii and Naoki Kobayashi}, editor = {Uwe Nestmann and Benjamin C. Pierce}, title = {A Generalized Deadlock-Free Process Calculus}, 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 = {225--247}, publisher = {Elsevier}, year = {1998}, url = {https://doi.org/10.1016/S1571-0661(04)00144-6}, doi = {10.1016/S1571-0661(04)00144-6}, timestamp = {Fri, 11 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/SumiiK98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/VasconcelosLS98, author = {Vasco Thudichum Vasconcelos and Lu{\'{\i}}s M. B. Lopes and Fernando M. A. Silva}, editor = {Uwe Nestmann and Benjamin C. Pierce}, title = {Distribution and Mobility with Lexical Scoping in Process Calculi}, 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 = {189--204}, publisher = {Elsevier}, year = {1998}, url = {https://doi.org/10.1016/S1571-0661(04)00142-2}, doi = {10.1016/S1571-0661(04)00142-2}, timestamp = {Fri, 11 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/VasconcelosLS98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/White98, author = {J. E. White}, editor = {Uwe Nestmann and Benjamin C. Pierce}, title = {Why networks aren't programmable (or, why programs aren't protocols)}, 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 = {173}, publisher = {Elsevier}, year = {1998}, url = {https://doi.org/10.1016/S1571-0661(04)00140-9}, doi = {10.1016/S1571-0661(04)00140-9}, timestamp = {Fri, 11 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/White98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/hlcl/1998, editor = {Uwe Nestmann and Benjamin C. Pierce}, title = {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}, publisher = {Elsevier}, year = {1998}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/16/issue/3}, timestamp = {Fri, 11 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hlcl/1998.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.