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:conf/getco:"
download as .bib file
@proceedings{DBLP:conf/getco/2010,
editor = {Lisbeth Fajstrup and
Eric Goubault and
Martin Raussen},
title = {Proceedings of the workshop on Geometric and Topological Methods in
Computer Science, {GETCO} 2010, Aalborg, Denmark, January 11-15, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {283},
publisher = {Elsevier},
year = {2012},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/283/suppl/C},
timestamp = {Fri, 25 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/getco/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Bubenik12,
author = {Peter Bubenik},
editor = {Lisbeth Fajstrup and
Eric Goubault and
Martin Raussen},
title = {Simplicial Models for Concurrency},
booktitle = {Proceedings of the workshop on Geometric and Topological Methods in
Computer Science, {GETCO} 2010, Aalborg, Denmark, January 11-15, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {283},
pages = {3--12},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2012.05.002},
doi = {10.1016/J.ENTCS.2012.05.002},
timestamp = {Fri, 25 Nov 2022 14:11:53 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Bubenik12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CastanedaR12,
author = {Armando Casta{\~{n}}eda and
Sergio Rajsbaum},
editor = {Lisbeth Fajstrup and
Eric Goubault and
Martin Raussen},
title = {An Inductive-style Procedure for Counting Monochromatic Simplexes
of Symmetric Subdivisions with Applications to Distributed Computing},
booktitle = {Proceedings of the workshop on Geometric and Topological Methods in
Computer Science, {GETCO} 2010, Aalborg, Denmark, January 11-15, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {283},
pages = {13--27},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2012.05.003},
doi = {10.1016/J.ENTCS.2012.05.003},
timestamp = {Fri, 25 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CastanedaR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CondeR12,
author = {Rodolfo Conde and
Sergio Rajsbaum},
editor = {Lisbeth Fajstrup and
Eric Goubault and
Martin Raussen},
title = {An Introduction to the Topological Theory of Distributed Computing
with Safe-consensus},
booktitle = {Proceedings of the workshop on Geometric and Topological Methods in
Computer Science, {GETCO} 2010, Aalborg, Denmark, January 11-15, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {283},
pages = {29--51},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2012.05.004},
doi = {10.1016/J.ENTCS.2012.05.004},
timestamp = {Fri, 25 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CondeR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CostaFK12,
author = {A. E. Costa and
Michael Farber and
Thomas Kappeler},
editor = {Lisbeth Fajstrup and
Eric Goubault and
Martin Raussen},
title = {Topics of Stochastic Algebraic Topology},
booktitle = {Proceedings of the workshop on Geometric and Topological Methods in
Computer Science, {GETCO} 2010, Aalborg, Denmark, January 11-15, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {283},
pages = {53--70},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2012.05.005},
doi = {10.1016/J.ENTCS.2012.05.005},
timestamp = {Fri, 25 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CostaFK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FabioL12,
author = {Barbara Di Fabio and
Claudia Landi},
editor = {Lisbeth Fajstrup and
Eric Goubault and
Martin Raussen},
title = {Stability of Reeb Graphs of Closed Curves},
booktitle = {Proceedings of the workshop on Geometric and Topological Methods in
Computer Science, {GETCO} 2010, Aalborg, Denmark, January 11-15, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {283},
pages = {71--76},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2012.05.006},
doi = {10.1016/J.ENTCS.2012.05.006},
timestamp = {Wed, 15 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FabioL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FajstrupGR12,
author = {Lisbeth Fajstrup and
Eric Goubault and
Martin Raussen},
editor = {Lisbeth Fajstrup and
Eric Goubault and
Martin Raussen},
title = {Preface},
booktitle = {Proceedings of the workshop on Geometric and Topological Methods in
Computer Science, {GETCO} 2010, Aalborg, Denmark, January 11-15, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {283},
pages = {1--2},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2012.05.001},
doi = {10.1016/J.ENTCS.2012.05.001},
timestamp = {Fri, 25 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FajstrupGR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GoubaultM12,
author = {Eric Goubault and
Samuel Mimram},
editor = {Lisbeth Fajstrup and
Eric Goubault and
Martin Raussen},
title = {Formal Relationships Between Geometrical and Classical Models for
Concurrency},
booktitle = {Proceedings of the workshop on Geometric and Topological Methods in
Computer Science, {GETCO} 2010, Aalborg, Denmark, January 11-15, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {283},
pages = {77--109},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2012.05.007},
doi = {10.1016/J.ENTCS.2012.05.007},
timestamp = {Fri, 25 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GoubaultM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Haucourt12,
author = {Emmanuel Haucourt},
editor = {Lisbeth Fajstrup and
Eric Goubault and
Martin Raussen},
title = {Streams, d-Spaces and Their Fundamental Categories},
booktitle = {Proceedings of the workshop on Geometric and Topological Methods in
Computer Science, {GETCO} 2010, Aalborg, Denmark, January 11-15, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {283},
pages = {111--151},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2012.05.008},
doi = {10.1016/J.ENTCS.2012.05.008},
timestamp = {Fri, 25 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Haucourt12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Kozlov12,
author = {Dmitry N. Kozlov},
editor = {Lisbeth Fajstrup and
Eric Goubault and
Martin Raussen},
title = {Some Conjectures Concerning Complexity of {PL} subdivisions},
booktitle = {Proceedings of the workshop on Geometric and Topological Methods in
Computer Science, {GETCO} 2010, Aalborg, Denmark, January 11-15, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {283},
pages = {153--157},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2012.05.009},
doi = {10.1016/J.ENTCS.2012.05.009},
timestamp = {Fri, 25 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Kozlov12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Robinson12,
author = {Michael Robinson},
editor = {Lisbeth Fajstrup and
Eric Goubault and
Martin Raussen},
title = {Asynchronous Logic Circuits and Sheaf Obstructions},
booktitle = {Proceedings of the workshop on Geometric and Topological Methods in
Computer Science, {GETCO} 2010, Aalborg, Denmark, January 11-15, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {283},
pages = {159--177},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2012.05.010},
doi = {10.1016/J.ENTCS.2012.05.010},
timestamp = {Fri, 25 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Robinson12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/getco/2004-5-6,
editor = {{\'{E}}ric Goubault},
title = {Proceedings of the Workshops on Geometric and Topological Methods
in Concurrency Theory, GETCO@DISC 2004, Amsterdam, The Netherlands,
2004 + GETCO@CONCUR October 2005, San Francisco, CA, USA, August 2005
+ {GETCO} 2006, Bonn, Germany, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {230},
publisher = {Elsevier},
year = {2009},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/230/suppl/C},
timestamp = {Mon, 27 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/getco/2004-5-6.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Goubault09,
author = {Eric Goubault},
editor = {{\'{E}}ric Goubault},
title = {Preface},
booktitle = {Proceedings of the Workshops on Geometric and Topological Methods
in Concurrency Theory, GETCO@DISC 2004, Amsterdam, The Netherlands,
2004 + GETCO@CONCUR October 2005, San Francisco, CA, USA, August 2005
+ {GETCO} 2006, Bonn, Germany, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {230},
pages = {1--2},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2009.02.013},
doi = {10.1016/J.ENTCS.2009.02.013},
timestamp = {Mon, 27 Feb 2023 09:17:38 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Goubault09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Kahl09,
author = {Thomas Kahl},
editor = {{\'{E}}ric Goubault},
title = {A Fibration Category of Local Pospaces},
booktitle = {Proceedings of the Workshops on Geometric and Topological Methods
in Concurrency Theory, GETCO@DISC 2004, Amsterdam, The Netherlands,
2004 + GETCO@CONCUR October 2005, San Francisco, CA, USA, August 2005
+ {GETCO} 2006, Bonn, Germany, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {230},
pages = {129--140},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2009.02.021},
doi = {10.1016/J.ENTCS.2009.02.021},
timestamp = {Mon, 27 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Kahl09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Krishnan09,
author = {Sanjeevi Krishnan},
editor = {{\'{E}}ric Goubault},
title = {Criteria for Homotopic Maps to be So Along Monotone Homotopies},
booktitle = {Proceedings of the Workshops on Geometric and Topological Methods
in Concurrency Theory, GETCO@DISC 2004, Amsterdam, The Netherlands,
2004 + GETCO@CONCUR October 2005, San Francisco, CA, USA, August 2005
+ {GETCO} 2006, Bonn, Germany, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {230},
pages = {141--148},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2009.02.022},
doi = {10.1016/J.ENTCS.2009.02.022},
timestamp = {Mon, 27 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Krishnan09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Santocanale09,
author = {Luigi Santocanale},
editor = {{\'{E}}ric Goubault},
title = {Topological Properties of Event Structures},
booktitle = {Proceedings of the Workshops on Geometric and Topological Methods
in Concurrency Theory, GETCO@DISC 2004, Amsterdam, The Netherlands,
2004 + GETCO@CONCUR October 2005, San Francisco, CA, USA, August 2005
+ {GETCO} 2006, Bonn, Germany, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {230},
pages = {149--160},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2009.02.023},
doi = {10.1016/J.ENTCS.2009.02.023},
timestamp = {Mon, 27 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Santocanale09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Sofronie-Stokkermans09,
author = {Viorica Sofronie{-}Stokkermans},
editor = {{\'{E}}ric Goubault},
title = {Sheaves and Geometric Logic and Applications to Modular Verification
of Complex Systems},
booktitle = {Proceedings of the Workshops on Geometric and Topological Methods
in Concurrency Theory, GETCO@DISC 2004, Amsterdam, The Netherlands,
2004 + GETCO@CONCUR October 2005, San Francisco, CA, USA, August 2005
+ {GETCO} 2006, Bonn, Germany, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {230},
pages = {161--187},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2009.02.024},
doi = {10.1016/J.ENTCS.2009.02.024},
timestamp = {Mon, 27 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Sofronie-Stokkermans09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Gaucher09,
author = {Philippe Gaucher},
editor = {{\'{E}}ric Goubault},
title = {T-homotopy and Refinement of Observation {(I):} Introduction},
booktitle = {Proceedings of the Workshops on Geometric and Topological Methods
in Concurrency Theory, GETCO@DISC 2004, Amsterdam, The Netherlands,
2004 + GETCO@CONCUR October 2005, San Francisco, CA, USA, August 2005
+ {GETCO} 2006, Bonn, Germany, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {230},
pages = {103--110},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2009.02.019},
doi = {10.1016/J.ENTCS.2009.02.019},
timestamp = {Mon, 27 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Gaucher09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Haucourt09a,
author = {Emmanuel Haucourt},
editor = {{\'{E}}ric Goubault},
title = {Comparing Topological Models for Concurrency},
booktitle = {Proceedings of the Workshops on Geometric and Topological Methods
in Concurrency Theory, GETCO@DISC 2004, Amsterdam, The Netherlands,
2004 + GETCO@CONCUR October 2005, San Francisco, CA, USA, August 2005
+ {GETCO} 2006, Bonn, Germany, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {230},
pages = {111--127},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2009.02.020},
doi = {10.1016/J.ENTCS.2009.02.020},
timestamp = {Mon, 27 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Haucourt09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Bubenik09,
author = {Peter Bubenik},
editor = {{\'{E}}ric Goubault},
title = {Context for Models of Concurrency},
booktitle = {Proceedings of the Workshops on Geometric and Topological Methods
in Concurrency Theory, GETCO@DISC 2004, Amsterdam, The Netherlands,
2004 + GETCO@CONCUR October 2005, San Francisco, CA, USA, August 2005
+ {GETCO} 2006, Bonn, Germany, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {230},
pages = {3--21},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2009.02.014},
doi = {10.1016/J.ENTCS.2009.02.014},
timestamp = {Mon, 27 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Bubenik09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DavidovitchDR09,
author = {Lior Davidovitch and
Shlomi Dolev and
Sergio Rajsbaum},
editor = {{\'{E}}ric Goubault},
title = {Stability of Multi-Valued Continuous Consensus},
booktitle = {Proceedings of the Workshops on Geometric and Topological Methods
in Concurrency Theory, GETCO@DISC 2004, Amsterdam, The Netherlands,
2004 + GETCO@CONCUR October 2005, San Francisco, CA, USA, August 2005
+ {GETCO} 2006, Bonn, Germany, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {230},
pages = {23--38},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2009.02.015},
doi = {10.1016/J.ENTCS.2009.02.015},
timestamp = {Mon, 27 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DavidovitchDR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GuerraouiP09,
author = {Rachid Guerraoui and
Bastian Pochon},
editor = {{\'{E}}ric Goubault},
title = {The Complexity of Early Deciding Set Agreement: How can Topology help?},
booktitle = {Proceedings of the Workshops on Geometric and Topological Methods
in Concurrency Theory, GETCO@DISC 2004, Amsterdam, The Netherlands,
2004 + GETCO@CONCUR October 2005, San Francisco, CA, USA, August 2005
+ {GETCO} 2006, Bonn, Germany, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {230},
pages = {71--78},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2009.02.017},
doi = {10.1016/J.ENTCS.2009.02.017},
timestamp = {Mon, 27 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GuerraouiP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Haucourt09,
author = {Emmanuel Haucourt},
editor = {{\'{E}}ric Goubault},
title = {A Framework for Component Categories},
booktitle = {Proceedings of the Workshops on Geometric and Topological Methods
in Concurrency Theory, GETCO@DISC 2004, Amsterdam, The Netherlands,
2004 + GETCO@CONCUR October 2005, San Francisco, CA, USA, August 2005
+ {GETCO} 2006, Bonn, Germany, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {230},
pages = {39--69},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2009.02.016},
doi = {10.1016/J.ENTCS.2009.02.016},
timestamp = {Mon, 27 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Haucourt09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HerlihyRT09,
author = {Maurice Herlihy and
Sergio Rajsbaum and
Mark R. Tuttle},
editor = {{\'{E}}ric Goubault},
title = {An Axiomatic Approach to Computing the Connectivity of Synchronous
and Asynchronous Systems},
booktitle = {Proceedings of the Workshops on Geometric and Topological Methods
in Concurrency Theory, GETCO@DISC 2004, Amsterdam, The Netherlands,
2004 + GETCO@CONCUR October 2005, San Francisco, CA, USA, August 2005
+ {GETCO} 2006, Bonn, Germany, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {230},
pages = {79--102},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2009.02.018},
doi = {10.1016/J.ENTCS.2009.02.018},
timestamp = {Mon, 27 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HerlihyRT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/getco/2003,
editor = {Thomas T. Hildebrandt and
Alexander Kurz and
Eric Goubault and
Ulrich Fahrenberg},
title = {Combined Proceedings of the Second Workshop on Categorical Methods
for Concurrency, Interaction, and Mobility, {CMCIM} 2003, and the
Fifth Workshop on Geometric and Topological Methods in Concurrency,
{GETCO} 2003, Satellite Events of {CONCUR} 2003, Marseille, France,
September 6, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {100},
publisher = {Elsevier},
year = {2004},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/100/suppl/C},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/getco/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CheungH04,
author = {Ling Cheung and
Jesse Hughes},
editor = {Thomas T. Hildebrandt and
Alexander Kurz and
Eric Goubault and
Ulrich Fahrenberg},
title = {Concise Graphs and Functional Bisimulations},
booktitle = {Combined Proceedings of the Second Workshop on Categorical Methods
for Concurrency, Interaction, and Mobility, {CMCIM} 2003, and the
Fifth Workshop on Geometric and Topological Methods in Concurrency,
{GETCO} 2003, Satellite Events of {CONCUR} 2003, Marseille, France,
September 6, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {100},
pages = {5--29},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.09.003},
doi = {10.1016/J.ENTCS.2004.09.003},
timestamp = {Thu, 08 Dec 2022 22:54:04 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CheungH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CuijpersR04,
author = {Pieter J. L. Cuijpers and
Michel A. Reniers},
editor = {Thomas T. Hildebrandt and
Alexander Kurz and
Eric Goubault and
Ulrich Fahrenberg},
title = {Topological (Bi-)Simulation},
booktitle = {Combined Proceedings of the Second Workshop on Categorical Methods
for Concurrency, Interaction, and Mobility, {CMCIM} 2003, and the
Fifth Workshop on Geometric and Topological Methods in Concurrency,
{GETCO} 2003, Satellite Events of {CONCUR} 2003, Marseille, France,
September 6, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {100},
pages = {49--64},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.08.017},
doi = {10.1016/J.ENTCS.2004.08.017},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CuijpersR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Fahrenberg04,
author = {Ulrich Fahrenberg},
editor = {Thomas T. Hildebrandt and
Alexander Kurz and
Eric Goubault and
Ulrich Fahrenberg},
title = {Directed Homology},
booktitle = {Combined Proceedings of the Second Workshop on Categorical Methods
for Concurrency, Interaction, and Mobility, {CMCIM} 2003, and the
Fifth Workshop on Geometric and Topological Methods in Concurrency,
{GETCO} 2003, Satellite Events of {CONCUR} 2003, Marseille, France,
September 6, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {100},
pages = {111--125},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.09.005},
doi = {10.1016/J.ENTCS.2004.09.005},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Fahrenberg04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Gaucher04,
author = {Philippe Gaucher},
editor = {Thomas T. Hildebrandt and
Alexander Kurz and
Eric Goubault and
Ulrich Fahrenberg},
title = {The Homotopy Branching Space of a Flow},
booktitle = {Combined Proceedings of the Second Workshop on Categorical Methods
for Concurrency, Interaction, and Mobility, {CMCIM} 2003, and the
Fifth Workshop on Geometric and Topological Methods in Concurrency,
{GETCO} 2003, Satellite Events of {CONCUR} 2003, Marseille, France,
September 6, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {100},
pages = {95--109},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.08.015},
doi = {10.1016/J.ENTCS.2004.08.015},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Gaucher04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GoubaultF04,
author = {Eric Goubault and
Ulrich Fahrenberg},
editor = {Thomas T. Hildebrandt and
Alexander Kurz and
Eric Goubault and
Ulrich Fahrenberg},
title = {Preface},
booktitle = {Combined Proceedings of the Second Workshop on Categorical Methods
for Concurrency, Interaction, and Mobility, {CMCIM} 2003, and the
Fifth Workshop on Geometric and Topological Methods in Concurrency,
{GETCO} 2003, Satellite Events of {CONCUR} 2003, Marseille, France,
September 6, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {100},
pages = {47--48},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.08.014},
doi = {10.1016/J.ENTCS.2004.08.014},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GoubaultF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HessPTW04,
author = {Kathryn Hess and
Paul{-}Eug{\`{e}}ne Parent and
Andrew Tonks and
Krzysztof Worytkiewicz},
editor = {Thomas T. Hildebrandt and
Alexander Kurz and
Eric Goubault and
Ulrich Fahrenberg},
title = {Simulations as Homotopies},
booktitle = {Combined Proceedings of the Second Workshop on Categorical Methods
for Concurrency, Interaction, and Mobility, {CMCIM} 2003, and the
Fifth Workshop on Geometric and Topological Methods in Concurrency,
{GETCO} 2003, Satellite Events of {CONCUR} 2003, Marseille, France,
September 6, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {100},
pages = {65--93},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.08.016},
doi = {10.1016/J.ENTCS.2004.08.016},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/HessPTW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HildebrandtK04,
author = {Thomas T. Hildebrandt and
Alexander Kurz},
editor = {Thomas T. Hildebrandt and
Alexander Kurz and
Eric Goubault and
Ulrich Fahrenberg},
title = {Preface},
booktitle = {Combined Proceedings of the Second Workshop on Categorical Methods
for Concurrency, Interaction, and Mobility, {CMCIM} 2003, and the
Fifth Workshop on Geometric and Topological Methods in Concurrency,
{GETCO} 2003, Satellite Events of {CONCUR} 2003, Marseille, France,
September 6, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {100},
pages = {3},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.09.002},
doi = {10.1016/J.ENTCS.2004.09.002},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HildebrandtK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HylandP04,
author = {Martin Hyland and
John Power},
editor = {Thomas T. Hildebrandt and
Alexander Kurz and
Eric Goubault and
Ulrich Fahrenberg},
title = {Symmetric Monoidal Sketches and Categories of Wirings},
booktitle = {Combined Proceedings of the Second Workshop on Categorical Methods
for Concurrency, Interaction, and Mobility, {CMCIM} 2003, and the
Fifth Workshop on Geometric and Topological Methods in Concurrency,
{GETCO} 2003, Satellite Events of {CONCUR} 2003, Marseille, France,
September 6, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {100},
pages = {31--46},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.09.004},
doi = {10.1016/J.ENTCS.2004.09.004},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HylandP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Mislove04,
author = {Michael W. Mislove},
editor = {Thomas T. Hildebrandt and
Alexander Kurz and
Eric Goubault and
Ulrich Fahrenberg},
title = {Editorial},
booktitle = {Combined Proceedings of the Second Workshop on Categorical Methods
for Concurrency, Interaction, and Mobility, {CMCIM} 2003, and the
Fifth Workshop on Geometric and Topological Methods in Concurrency,
{GETCO} 2003, Satellite Events of {CONCUR} 2003, Marseille, France,
September 6, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {100},
pages = {1},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.09.001},
doi = {10.1016/J.ENTCS.2004.09.001},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Mislove04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/getco/2002,
editor = {Patrick Cousot and
Lisbeth Fajstrup and
Eric Goubault and
Maurice Herlihy and
Martin Raussen and
Vladimiro Sassone},
title = {4th Workshop on GEometry and Topology in COncurrency and distributed
systems theory, {GETCO} 2002, Satellite workshop of {DISC} 2002, Toulouse,
France, October 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {81},
publisher = {Elsevier},
year = {2003},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/81/suppl/C},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/getco/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Adagio03,
author = {Giovanni Adagio},
editor = {Patrick Cousot and
Lisbeth Fajstrup and
Eric Goubault and
Maurice Herlihy and
Martin Raussen and
Vladimiro Sassone},
title = {Using the Topological Characterization of Synchronous Models},
booktitle = {4th Workshop on GEometry and Topology in COncurrency and distributed
systems theory, {GETCO} 2002, Satellite workshop of {DISC} 2002, Toulouse,
France, October 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {81},
pages = {36--47},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80834-X},
doi = {10.1016/S1571-0661(04)80834-X},
timestamp = {Wed, 07 Dec 2022 09:37:04 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Adagio03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Fahrenberg03,
author = {Ulrich Fahrenberg},
editor = {Patrick Cousot and
Lisbeth Fajstrup and
Eric Goubault and
Maurice Herlihy and
Martin Raussen and
Vladimiro Sassone},
title = {The Geometry of Timed {PV} Programs},
booktitle = {4th Workshop on GEometry and Topology in COncurrency and distributed
systems theory, {GETCO} 2002, Satellite workshop of {DISC} 2002, Toulouse,
France, October 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {81},
pages = {1--14},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80832-6},
doi = {10.1016/S1571-0661(04)80832-6},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Fahrenberg03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Goubault03,
author = {Eric Goubault},
editor = {Patrick Cousot and
Lisbeth Fajstrup and
Eric Goubault and
Maurice Herlihy and
Martin Raussen and
Vladimiro Sassone},
title = {Foreword},
booktitle = {4th Workshop on GEometry and Topology in COncurrency and distributed
systems theory, {GETCO} 2002, Satellite workshop of {DISC} 2002, Toulouse,
France, October 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {81},
pages = {99},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80838-2},
doi = {10.1016/S1571-0661(05)80838-2},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Goubault03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GuerraouiKP03,
author = {Rachid Guerraoui and
Petr Kouznetsov and
Bastian Pochon},
editor = {Patrick Cousot and
Lisbeth Fajstrup and
Eric Goubault and
Maurice Herlihy and
Martin Raussen and
Vladimiro Sassone},
title = {A Note on Set Agreement with Omission Failures},
booktitle = {4th Workshop on GEometry and Topology in COncurrency and distributed
systems theory, {GETCO} 2002, Satellite workshop of {DISC} 2002, Toulouse,
France, October 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {81},
pages = {48--58},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80835-1},
doi = {10.1016/S1571-0661(04)80835-1},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GuerraouiKP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Malbos03,
author = {Philippe Malbos},
editor = {Patrick Cousot and
Lisbeth Fajstrup and
Eric Goubault and
Maurice Herlihy and
Martin Raussen and
Vladimiro Sassone},
title = {Rewriting Systems and Hochschild-Mitchell Homology},
booktitle = {4th Workshop on GEometry and Topology in COncurrency and distributed
systems theory, {GETCO} 2002, Satellite workshop of {DISC} 2002, Toulouse,
France, October 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {81},
pages = {59--72},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80836-3},
doi = {10.1016/S1571-0661(04)80836-3},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Malbos03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Porter03,
author = {Timothy Porter},
editor = {Patrick Cousot and
Lisbeth Fajstrup and
Eric Goubault and
Maurice Herlihy and
Martin Raussen and
Vladimiro Sassone},
title = {Geometric Aspects of Multiagent Systems},
booktitle = {4th Workshop on GEometry and Topology in COncurrency and distributed
systems theory, {GETCO} 2002, Satellite workshop of {DISC} 2002, Toulouse,
France, October 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {81},
pages = {73--98},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80837-5},
doi = {10.1016/S1571-0661(04)80837-5},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Porter03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Sokolowski03,
author = {Stefan Sokolowski},
editor = {Patrick Cousot and
Lisbeth Fajstrup and
Eric Goubault and
Maurice Herlihy and
Martin Raussen and
Vladimiro Sassone},
title = {A case for po-manifolds - in chase after a good topological model
for concurrency},
booktitle = {4th Workshop on GEometry and Topology in COncurrency and distributed
systems theory, {GETCO} 2002, Satellite workshop of {DISC} 2002, Toulouse,
France, October 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {81},
pages = {15--35},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80833-8},
doi = {10.1016/S1571-0661(04)80833-8},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Sokolowski03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/getco/2001,
editor = {Patrick Cousot and
Lisbeth Fajstrup and
Eric Goubault and
Jeremy Gunawardena and
Maurice Herlihy and
Martin Raussen and
Vladimiro Sassone},
title = {3rd Workshop on GEometry and Topology in COncurrency theory, {GETCO}
2001, Satellite Event of {CONCUR} 2001, Aalborg, Denmark, August 25,
2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {52},
number = {2},
publisher = {Elsevier},
year = {2002},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/52/issue/2},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/getco/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Gaucher01,
author = {Philippe Gaucher},
editor = {Patrick Cousot and
Lisbeth Fajstrup and
Eric Goubault and
Jeremy Gunawardena and
Maurice Herlihy and
Martin Raussen and
Vladimiro Sassone},
title = {Investigating The Algebraic Structure of Dihomotopy Types},
booktitle = {3rd Workshop on GEometry and Topology in COncurrency theory, {GETCO}
2001, Satellite Event of {CONCUR} 2001, Aalborg, Denmark, August 25,
2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {52},
number = {2},
pages = {139--163},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00221-X},
doi = {10.1016/S1571-0661(04)00221-X},
timestamp = {Thu, 01 Dec 2022 14:57:42 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Gaucher01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Goubault01,
author = {Eric Goubault},
editor = {Patrick Cousot and
Lisbeth Fajstrup and
Eric Goubault and
Jeremy Gunawardena and
Maurice Herlihy and
Martin Raussen and
Vladimiro Sassone},
title = {Preface},
booktitle = {3rd Workshop on GEometry and Topology in COncurrency theory, {GETCO}
2001, Satellite Event of {CONCUR} 2001, Aalborg, Denmark, August 25,
2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {52},
number = {2},
pages = {205},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(05)82558-7},
doi = {10.1016/S1571-0661(05)82558-7},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Goubault01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/McBurneyP01,
author = {Peter McBurney and
Simon Parsons},
editor = {Patrick Cousot and
Lisbeth Fajstrup and
Eric Goubault and
Jeremy Gunawardena and
Maurice Herlihy and
Martin Raussen and
Vladimiro Sassone},
title = {A Geometric Semantics for Dialogue Game Protocols for Autonomous Agent
Interactions},
booktitle = {3rd Workshop on GEometry and Topology in COncurrency theory, {GETCO}
2001, Satellite Event of {CONCUR} 2001, Aalborg, Denmark, August 25,
2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {52},
number = {2},
pages = {187--204},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00223-3},
doi = {10.1016/S1571-0661(04)00223-3},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/McBurneyP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Sokolowski01,
author = {Stefan Sokolowski},
editor = {Patrick Cousot and
Lisbeth Fajstrup and
Eric Goubault and
Jeremy Gunawardena and
Maurice Herlihy and
Martin Raussen and
Vladimiro Sassone},
title = {Categories of dimaps and their dihomotopies in po-spaces and local
po-spaces},
booktitle = {3rd Workshop on GEometry and Topology in COncurrency theory, {GETCO}
2001, Satellite Event of {CONCUR} 2001, Aalborg, Denmark, August 25,
2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {52},
number = {2},
pages = {164--186},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00222-1},
doi = {10.1016/S1571-0661(04)00222-1},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Sokolowski01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FajstrupS02,
author = {Lisbeth Fajstrup and
Stefan Sokolowski},
editor = {Patrick Cousot and
Eric Goubault and
Jeremy Gunawardena and
Maurice Herlihy and
Martin Raussen and
Vladimiro Sassone},
title = {Infinitely Running Concurrent Processes with Loops from a Geometric
Viewpoint},
booktitle = {2nd Workshop on Geometry and Topology in Concurrency theory, {GETCO}
2000, Satellite Workshop of {CONCUR} 2000, State College, PA, USA,
August 21, 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {39},
number = {2},
pages = {1--19},
publisher = {Elsevier},
year = {2000},
url = {https://doi.org/10.1016/S1571-0661(05)01147-3},
doi = {10.1016/S1571-0661(05)01147-3},
timestamp = {Thu, 01 Dec 2022 09:26:41 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FajstrupS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Feret02,
author = {J{\'{e}}r{\^{o}}me Feret},
editor = {Patrick Cousot and
Eric Goubault and
Jeremy Gunawardena and
Maurice Herlihy and
Martin Raussen and
Vladimiro Sassone},
title = {Occurrence Counting Analysis for the pi-Calculus},
booktitle = {2nd Workshop on Geometry and Topology in Concurrency theory, {GETCO}
2000, Satellite Workshop of {CONCUR} 2000, State College, PA, USA,
August 21, 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {39},
number = {2},
pages = {1--18},
publisher = {Elsevier},
year = {2000},
url = {https://doi.org/10.1016/S1571-0661(05)01155-2},
doi = {10.1016/S1571-0661(05)01155-2},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Feret02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Gaucher02,
author = {Philippe Gaucher},
editor = {Patrick Cousot and
Eric Goubault and
Jeremy Gunawardena and
Maurice Herlihy and
Martin Raussen and
Vladimiro Sassone},
title = {From Concurrency to Algebraic Topology},
booktitle = {2nd Workshop on Geometry and Topology in Concurrency theory, {GETCO}
2000, Satellite Workshop of {CONCUR} 2000, State College, PA, USA,
August 21, 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {39},
number = {2},
pages = {1--19},
publisher = {Elsevier},
year = {2000},
url = {https://doi.org/10.1016/S1571-0661(05)01149-7},
doi = {10.1016/S1571-0661(05)01149-7},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Gaucher02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Goubault02,
author = {Eric Goubault},
editor = {Patrick Cousot and
Eric Goubault and
Jeremy Gunawardena and
Maurice Herlihy and
Martin Raussen and
Vladimiro Sassone},
title = {Preface},
booktitle = {2nd Workshop on Geometry and Topology in Concurrency theory, {GETCO}
2000, Satellite Workshop of {CONCUR} 2000, State College, PA, USA,
August 21, 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {39},
number = {2},
pages = {1},
publisher = {Elsevier},
year = {2000},
url = {https://doi.org/10.1016/S1571-0661(05)01146-1},
doi = {10.1016/S1571-0661(05)01146-1},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Goubault02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HerlihyRT02,
author = {Maurice Herlihy and
Sergio Rajsbaum and
Mark R. Tuttle},
editor = {Patrick Cousot and
Eric Goubault and
Jeremy Gunawardena and
Maurice Herlihy and
Martin Raussen and
Vladimiro Sassone},
title = {An Overview of Synchronous Message-Passing and Topology},
booktitle = {2nd Workshop on Geometry and Topology in Concurrency theory, {GETCO}
2000, Satellite Workshop of {CONCUR} 2000, State College, PA, USA,
August 21, 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {39},
number = {2},
pages = {1--17},
publisher = {Elsevier},
year = {2000},
url = {https://doi.org/10.1016/S1571-0661(05)01148-5},
doi = {10.1016/S1571-0661(05)01148-5},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HerlihyRT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/getco/2000,
editor = {Patrick Cousot and
Eric Goubault and
Jeremy Gunawardena and
Maurice Herlihy and
Martin Raussen and
Vladimiro Sassone},
title = {2nd Workshop on Geometry and Topology in Concurrency theory, {GETCO}
2000, Satellite Workshop of {CONCUR} 2000, State College, PA, USA,
August 21, 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {39},
number = {2},
publisher = {Elsevier},
year = {2000},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/39/issue/2},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/getco/2000.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-08-31 00:22 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:
