Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/fgc:"
download as .bib file
@proceedings{DBLP:conf/fgc/2004,
editor = {Julian Rathke},
title = {Proceedings of the Workshop 3rd on the Foundations of Global Ubiquitous
Computing, {FGUC} 2004, London, UK, September 3-4, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {138},
number = {1},
publisher = {Elsevier},
year = {2005},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/138/issue/1},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fgc/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BonelliCG05,
author = {Eduardo Bonelli and
Adriana B. Compagnoni and
Elsa L. Gunter},
editor = {Julian Rathke},
title = {Typechecking Safe Process Synchronization},
booktitle = {Proceedings of the Workshop 3rd on the Foundations of Global Ubiquitous
Computing, {FGUC} 2004, London, UK, September 3-4, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {138},
number = {1},
pages = {3--22},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.05.002},
doi = {10.1016/J.ENTCS.2005.05.002},
timestamp = {Tue, 13 Dec 2022 09:03:49 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BonelliCG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GorlaHS05,
author = {Daniele Gorla and
Matthew Hennessy and
Vladimiro Sassone},
editor = {Julian Rathke},
title = {Security Policies as Membranes in Systems for Global Computing},
booktitle = {Proceedings of the Workshop 3rd on the Foundations of Global Ubiquitous
Computing, {FGUC} 2004, London, UK, September 3-4, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {138},
number = {1},
pages = {23--42},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.05.003},
doi = {10.1016/J.ENTCS.2005.05.003},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GorlaHS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LaneseM05,
author = {Ivan Lanese and
Ugo Montanari},
editor = {Julian Rathke},
title = {Synchronization Algebras with Mobility for Graph Transformations},
booktitle = {Proceedings of the Workshop 3rd on the Foundations of Global Ubiquitous
Computing, {FGUC} 2004, London, UK, September 3-4, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {138},
number = {1},
pages = {43--60},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.05.004},
doi = {10.1016/J.ENTCS.2005.05.004},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LaneseM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Li05,
author = {Yongjian Li},
editor = {Julian Rathke},
title = {Contextual Labelled Semantics for Higher-order Process Calculi},
booktitle = {Proceedings of the Workshop 3rd on the Foundations of Global Ubiquitous
Computing, {FGUC} 2004, London, UK, September 3-4, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {138},
number = {1},
pages = {61--77},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.05.005},
doi = {10.1016/J.ENTCS.2005.05.005},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Li05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Rathke05,
author = {Julian Rathke},
editor = {Julian Rathke},
title = {Preface},
booktitle = {Proceedings of the Workshop 3rd on the Foundations of Global Ubiquitous
Computing, {FGUC} 2004, London, UK, September 3-4, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {138},
number = {1},
pages = {1},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.05.001},
doi = {10.1016/J.ENTCS.2005.05.001},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Rathke05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/TiuM05,
author = {Alwen Fernanto Tiu and
Dale Miller},
editor = {Julian Rathke},
title = {A Proof Search Specification of the pi-Calculus},
booktitle = {Proceedings of the Workshop 3rd on the Foundations of Global Ubiquitous
Computing, {FGUC} 2004, London, UK, September 3-4, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {138},
number = {1},
pages = {79--101},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.05.006},
doi = {10.1016/J.ENTCS.2005.05.006},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/TiuM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BeringerMS03,
author = {Lennart Beringer and
Kenneth MacKenzie and
Ian Stark},
editor = {Riccardo Focardi and
Gianluigi Zavattaro},
title = {Grail: a functional form for imperative mobile code},
booktitle = {2nd {EATCS} Workshop on Foundations of Global Computing, {FGC} 2003,
Satellite Event of {ICALP} 2003, Eindhoven, The Netherlands, June
28-29, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {85},
number = {1},
pages = {3--23},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)80083-0},
doi = {10.1016/S1571-0661(05)80083-0},
timestamp = {Thu, 08 Dec 2022 14:02:42 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BeringerMS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ChenHL03,
author = {Taolue Chen and
Tingting Han and
Jian Lu},
editor = {Riccardo Focardi and
Gianluigi Zavattaro},
title = {Intensionality of modal logic for Robust Ambient Calculus},
booktitle = {2nd {EATCS} Workshop on Foundations of Global Computing, {FGC} 2003,
Satellite Event of {ICALP} 2003, Eindhoven, The Netherlands, June
28-29, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {85},
number = {1},
pages = {25--38},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)80085-4},
doi = {10.1016/S1571-0661(05)80085-4},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ChenHL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Frutos-EscrigA03,
author = {David de Frutos{-}Escrig and
Olga Marroqu{\'{\i}}n Alonso},
editor = {Riccardo Focardi and
Gianluigi Zavattaro},
title = {Ambient Petri nets},
booktitle = {2nd {EATCS} Workshop on Foundations of Global Computing, {FGC} 2003,
Satellite Event of {ICALP} 2003, Eindhoven, The Netherlands, June
28-29, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {85},
number = {1},
pages = {39},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)80086-6},
doi = {10.1016/S1571-0661(05)80086-6},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Frutos-EscrigA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Guan03,
author = {Xudong Guan},
editor = {Riccardo Focardi and
Gianluigi Zavattaro},
title = {Towards a tree of channels},
booktitle = {2nd {EATCS} Workshop on Foundations of Global Computing, {FGC} 2003,
Satellite Event of {ICALP} 2003, Eindhoven, The Netherlands, June
28-29, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {85},
number = {1},
pages = {80},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)80089-1},
doi = {10.1016/S1571-0661(05)80089-1},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Guan03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RavaraMVL03,
author = {Ant{\'{o}}nio Ravara and
Ana Gualdina Almeida Matos and
Vasco Thudichum Vasconcelos and
Lu{\'{\i}}s M. B. Lopes},
editor = {Riccardo Focardi and
Gianluigi Zavattaro},
title = {Lexically scoped distribution: what you see is what you get},
booktitle = {2nd {EATCS} Workshop on Foundations of Global Computing, {FGC} 2003,
Satellite Event of {ICALP} 2003, Eindhoven, The Netherlands, June
28-29, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {85},
number = {1},
pages = {61--79},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)80088-X},
doi = {10.1016/S1571-0661(05)80088-X},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/RavaraMVL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Sassone03,
author = {Vladimiro Sassone},
editor = {Riccardo Focardi and
Gianluigi Zavattaro},
title = {Preface},
booktitle = {2nd {EATCS} Workshop on Foundations of Global Computing, {FGC} 2003,
Satellite Event of {ICALP} 2003, Eindhoven, The Netherlands, June
28-29, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {85},
number = {1},
pages = {1--2},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)80082-9},
doi = {10.1016/S1571-0661(05)80082-9},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Sassone03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Stefani03,
author = {Jean{-}Bernard Stefani},
editor = {Riccardo Focardi and
Gianluigi Zavattaro},
title = {A calculus of Kells},
booktitle = {2nd {EATCS} Workshop on Foundations of Global Computing, {FGC} 2003,
Satellite Event of {ICALP} 2003, Eindhoven, The Netherlands, June
28-29, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {85},
number = {1},
pages = {40--60},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)80087-8},
doi = {10.1016/S1571-0661(05)80087-8},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Stefani03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Teller03,
author = {David Teller},
editor = {Riccardo Focardi and
Gianluigi Zavattaro},
title = {Formalisms for mobile resource control},
booktitle = {2nd {EATCS} Workshop on Foundations of Global Computing, {FGC} 2003,
Satellite Event of {ICALP} 2003, Eindhoven, The Netherlands, June
28-29, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {85},
number = {1},
pages = {24},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)80084-2},
doi = {10.1016/S1571-0661(05)80084-2},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Teller03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fgc/2003,
editor = {Riccardo Focardi and
Gianluigi Zavattaro},
title = {2nd {EATCS} Workshop on Foundations of Global Computing, {FGC} 2003,
Satellite Event of {ICALP} 2003, Eindhoven, The Netherlands, June
28-29, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {85},
number = {1},
publisher = {Elsevier},
year = {2003},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/85/issue/1},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fgc/2003.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-31 06:45 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:
