Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/icalp/fwan2002.bht:"
download as .bib file
@inproceedings{DBLP:journals/entcs/BonoDG02,
author = {Viviana Bono and
Ferruccio Damiani and
Paola Giannini},
editor = {Vladimiro Sassone},
title = {A Calculus for "Environment-Aware" Computation},
booktitle = {Foundations of Wide Area Network Computing, {F-WAN} 2002, {ICALP}
2002 Satellite Workshop, M{\'{a}}laga, Spain, July 12-13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {66},
number = {3},
pages = {98--115},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80418-3},
doi = {10.1016/S1571-0661(04)80418-3},
timestamp = {Tue, 06 Dec 2022 10:28:51 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BonoDG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BusiZ02,
author = {Nadia Busi and
Gianluigi Zavattaro},
editor = {Vladimiro Sassone},
title = {On the Expressiveness of Movement in Pure Mobile Ambients},
booktitle = {Foundations of Wide Area Network Computing, {F-WAN} 2002, {ICALP}
2002 Satellite Workshop, M{\'{a}}laga, Spain, July 12-13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {66},
number = {3},
pages = {22--36},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80414-6},
doi = {10.1016/S1571-0661(04)80414-6},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BusiZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CrafaBC02,
author = {Silvia Crafa and
Michele Bugliesi and
Giuseppe Castagna},
editor = {Vladimiro Sassone},
title = {Information Flow Security for Boxed Ambients},
booktitle = {Foundations of Wide Area Network Computing, {F-WAN} 2002, {ICALP}
2002 Satellite Workshop, M{\'{a}}laga, Spain, July 12-13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {66},
number = {3},
pages = {76--97},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80417-1},
doi = {10.1016/S1571-0661(04)80417-1},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/CrafaBC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Duggan02,
author = {Dominic Duggan},
editor = {Vladimiro Sassone},
title = {Abstractions for Fault-Tolerant Global Computing},
booktitle = {Foundations of Wide Area Network Computing, {F-WAN} 2002, {ICALP}
2002 Satellite Workshop, M{\'{a}}laga, Spain, July 12-13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {66},
number = {3},
pages = {116--144},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80419-5},
doi = {10.1016/S1571-0661(04)80419-5},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Duggan02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FerrariMP02,
author = {Gian{-}Luigi Ferrari and
Eugenio Moggi and
Rosario Pugliese},
editor = {Vladimiro Sassone},
title = {Guardians for Ambient-based Monitoring},
booktitle = {Foundations of Wide Area Network Computing, {F-WAN} 2002, {ICALP}
2002 Satellite Workshop, M{\'{a}}laga, Spain, July 12-13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {66},
number = {3},
pages = {52--75},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80416-X},
doi = {10.1016/S1571-0661(04)80416-X},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/FerrariMP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GabarroSC02,
author = {Joaquim Gabarr{\'{o}} and
Alan Stewart and
Maurice Clint},
editor = {Vladimiro Sassone},
title = {Grab and Go Systems: a {CPO} approach to concurrent web and grid-based
computation},
booktitle = {Foundations of Wide Area Network Computing, {F-WAN} 2002, {ICALP}
2002 Satellite Workshop, M{\'{a}}laga, Spain, July 12-13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {66},
number = {3},
pages = {1--21},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80413-4},
doi = {10.1016/S1571-0661(04)80413-4},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GabarroSC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GermainLS02,
author = {Florence Germain and
Marc Lacoste and
Jean{-}Bernard Stefani},
editor = {Vladimiro Sassone},
title = {An Abstract Machine for a Higher-Order Distributed Process Calculus},
booktitle = {Foundations of Wide Area Network Computing, {F-WAN} 2002, {ICALP}
2002 Satellite Workshop, M{\'{a}}laga, Spain, July 12-13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {66},
number = {3},
pages = {145--169},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80420-1},
doi = {10.1016/S1571-0661(04)80420-1},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GermainLS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Sassone02,
author = {Vladimiro Sassone},
editor = {Vladimiro Sassone},
title = {Preface - {F-WAN:} Foundations of Wide Area Network Computing},
booktitle = {Foundations of Wide Area Network Computing, {F-WAN} 2002, {ICALP}
2002 Satellite Workshop, M{\'{a}}laga, Spain, July 12-13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {66},
number = {3},
pages = {185--186},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80422-0},
doi = {10.1016/S1571-0661(05)80422-0},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Sassone02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/VigliottiP02,
author = {Maria Grazia Vigliotti and
Iain Phillips},
editor = {Vladimiro Sassone},
title = {Barbs and Congruences for Safe Mobile Ambients},
booktitle = {Foundations of Wide Area Network Computing, {F-WAN} 2002, {ICALP}
2002 Satellite Workshop, M{\'{a}}laga, Spain, July 12-13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {66},
number = {3},
pages = {37--51},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80415-8},
doi = {10.1016/S1571-0661(04)80415-8},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/VigliottiP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/VivasY02,
author = {Jos{\'{e}}{-}Luis Vivas and
Nobuko Yoshida},
editor = {Vladimiro Sassone},
title = {Dynamic Channel Screening in the Higher Order pi-Calculus},
booktitle = {Foundations of Wide Area Network Computing, {F-WAN} 2002, {ICALP}
2002 Satellite Workshop, M{\'{a}}laga, Spain, July 12-13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {66},
number = {3},
pages = {170--184},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80421-3},
doi = {10.1016/S1571-0661(04)80421-3},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/VivasY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/2002fwan,
editor = {Vladimiro Sassone},
title = {Foundations of Wide Area Network Computing, {F-WAN} 2002, {ICALP}
2002 Satellite Workshop, M{\'{a}}laga, Spain, July 12-13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {66},
number = {3},
publisher = {Elsevier},
year = {2002},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/66/issue/3},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/2002fwan.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.
retrieved on 2024-05-17 14:52 CEST from data curated 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:
