Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:conf/iccps/BanusicMPSZ19,
  author       = {Gregor B. Banusic and
                  Rupak Majumdar and
                  Marcus Pirron and
                  Anne{-}Kathrin Schmuck and
                  Damien Zufferey},
  title        = {{PGCD:} robot programming and verification with geometry, concurrency,
                  and dynamics},
  booktitle    = {{ICCPS}},
  pages        = {57--66},
  publisher    = {{ACM}},
  year         = {2019}
}

@incollection{DBLP:books/kl/03/OliveiraQ03,
  author       = {Anjolina Grisi de Oliveira and
                  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}
}

@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}
}

@inproceedings{DBLP:conf/dgci/Veelaert02,
  author       = {Peter Veelaert},
  title        = {Concurrency of Line Segments in Uncertain Geometry},
  booktitle    = {{DGCI}},
  series       = {Lecture Notes in Computer Science},
  volume       = {2301},
  pages        = {289--300},
  publisher    = {Springer},
  year         = {2002}
}

@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}
}

@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}
}

@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}
}

@inproceedings{DBLP:conf/latin/Pratt92,
  author       = {Vaughan R. Pratt},
  title        = {Arithmetic + Logic + Geometry = Concurrency},
  booktitle    = {{LATIN}},
  series       = {Lecture Notes in Computer Science},
  volume       = {583},
  pages        = {430--447},
  publisher    = {Springer},
  year         = {1992}
}

@inproceedings{DBLP:conf/popl/Pratt91,
  author       = {Vaughan R. Pratt},
  title        = {Modeling Concurrency with Geometry},
  booktitle    = {{POPL}},
  pages        = {311--322},
  publisher    = {{ACM} Press},
  year         = {1991}
}

@inproceedings{DBLP:conf/wdag/Charron-Bost89,
  author       = {Bernadette Charron{-}Bost},
  title        = {Combinatorics and Geometry of Consistent Cuts: Application to Concurrency
                  Theory},
  booktitle    = {{WDAG}},
  series       = {Lecture Notes in Computer Science},
  volume       = {392},
  pages        = {45--56},
  publisher    = {Springer},
  year         = {1989}
}