default search action
Search dblp for Publications
export results for "stream:conf/getco:"
@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} }
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.