Search dblp for Publications

export results for "geometry concurrency"

 download as .bib file

@inproceedings{DBLP:conf/iccps/BanusicMPSZ19,
  author       = {Gregor B. Banusic and
                  Rupak Majumdar and
                  Marcus Pirron and
                  Anne{-}Kathrin Schmuck and
                  Damien Zufferey},
  editor       = {Xue Liu and
                  Paulo Tabuada and
                  Miroslav Pajic and
                  Linda Bushnell},
  title        = {{PGCD:} robot programming and verification with geometry, concurrency,
                  and dynamics},
  booktitle    = {Proceedings of the 10th {ACM/IEEE} International Conference on Cyber-Physical
                  Systems, {ICCPS} 2019, Montreal, QC, Canada, April 16-18, 2019},
  pages        = {57--66},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3302509.3311052},
  doi          = {10.1145/3302509.3311052},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccps/BanusicMPSZ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/kl/03/OliveiraQ03,
  author       = {Anjolina Grisi de Oliveira and
                  Ruy J. G. B. de Queiroz},
  editor       = {Ruy J. G. B. de Queiroz},
  title        = {Geometry of Deduction Via Graphs of Proofs},
  booktitle    = {Logic for Concurrency and Synchronisation},
  series       = {Trends in Logic},
  volume       = {18},
  pages        = {3--88},
  publisher    = {Kluwer},
  year         = {2003},
  url          = {https://doi.org/10.1007/0-306-48088-3\_1},
  doi          = {10.1007/0-306-48088-3\_1},
  timestamp    = {Wed, 13 May 2020 14:56:22 +0200},
  biburl       = {https://dblp.org/rec/books/kl/03/OliveiraQ03.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:conf/dgci/Veelaert02,
  author       = {Peter Veelaert},
  editor       = {Achille J.{-}P. Braquelaire and
                  Jacques{-}Olivier Lachaud and
                  Anne Vialard},
  title        = {Concurrency of Line Segments in Uncertain Geometry},
  booktitle    = {Discrete Geometry for Computer Imagery, 10th International Conference,
                  {DGCI} 2002, Bordeaux, France, April 3-5, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2301},
  pages        = {289--300},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45986-3\_26},
  doi          = {10.1007/3-540-45986-3\_26},
  timestamp    = {Tue, 14 May 2019 10:00:47 +0200},
  biburl       = {https://dblp.org/rec/conf/dgci/Veelaert02.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}
}

@article{DBLP:journals/mscs/Goubault00a,
  author       = {Eric Goubault},
  title        = {Geometry and concurrency: a user's guide},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {10},
  number       = {4},
  pages        = {411--425},
  year         = {2000},
  url          = {http://journals.cambridge.org/action/displayAbstract?aid=54593},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/Goubault00a.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}
}

@inproceedings{DBLP:conf/latin/Pratt92,
  author       = {Vaughan R. Pratt},
  editor       = {Imre Simon},
  title        = {Arithmetic + Logic + Geometry = Concurrency},
  booktitle    = {{LATIN} '92, 1st Latin American Symposium on Theoretical Informatics,
                  S{\~{a}}o Paulo, Brazil, April 6-10, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {583},
  pages        = {430--447},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/BFb0023846},
  doi          = {10.1007/BFB0023846},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/latin/Pratt92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/Pratt91,
  author       = {Vaughan R. Pratt},
  editor       = {David S. Wise},
  title        = {Modeling Concurrency with Geometry},
  booktitle    = {Conference Record of the Eighteenth Annual {ACM} Symposium on Principles
                  of Programming Languages, Orlando, Florida, USA, January 21-23, 1991},
  pages        = {311--322},
  publisher    = {{ACM} Press},
  year         = {1991},
  url          = {https://doi.org/10.1145/99583.99625},
  doi          = {10.1145/99583.99625},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/Pratt91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wdag/Charron-Bost89,
  author       = {Bernadette Charron{-}Bost},
  editor       = {Jean{-}Claude Bermond and
                  Michel Raynal},
  title        = {Combinatorics and Geometry of Consistent Cuts: Application to Concurrency
                  Theory},
  booktitle    = {Distributed Algorithms, 3rd International Workshop, Nice, France,
                  September 26-28, 1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {392},
  pages        = {45--56},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51687-5\_31},
  doi          = {10.1007/3-540-51687-5\_31},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/wdag/Charron-Bost89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.