Search dblp for Publications

• > Home > Search

@proceedings{DBLP:conf/lics/2010pspl,
  editor       = {Alex Simpson},
  title        = {International Workshop on Proof Systems for Program Logics, {PSPL}
                  2010, Edinburgh, Scotland, UK, July 10, 2010},
  series       = {EPiC Series in Computing},
  volume       = {12},
  publisher    = {EasyChair},
  year         = {2013},
  url          = {https://easychair.org/publications/volume/PSPL\_2010},
  timestamp    = {Fri, 13 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/2010pspl.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/CairesFR10,
  author       = {Lu{\'{\i}}s Caires and
                  Carla Ferreira and
                  Ant{\'{o}}nio Ravara},
  editor       = {Alex Simpson},
  title        = {A simple proof system for lock-free concurrency},
  booktitle    = {International Workshop on Proof Systems for Program Logics, {PSPL}
                  2010, Edinburgh, Scotland, UK, July 10, 2010},
  series       = {EPiC Series in Computing},
  volume       = {12},
  pages        = {1--3},
  publisher    = {EasyChair},
  year         = {2010},
  url          = {https://doi.org/10.29007/n3nk},
  doi          = {10.29007/N3NK},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/CairesFR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/Gast10,
  author       = {Holger Gast},
  editor       = {Alex Simpson},
  title        = {A Developer-oriented Hoare Logic},
  booktitle    = {International Workshop on Proof Systems for Program Logics, {PSPL}
                  2010, Edinburgh, Scotland, UK, July 10, 2010},
  series       = {EPiC Series in Computing},
  volume       = {12},
  pages        = {4--7},
  publisher    = {EasyChair},
  year         = {2010},
  url          = {https://doi.org/10.29007/8kss},
  doi          = {10.29007/8KSS},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/Gast10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/Mio10,
  author       = {Matteo Mio},
  editor       = {Alex Simpson},
  title        = {A Proof System for Reasoning about Probabilistic Concurrent Processes},
  booktitle    = {International Workshop on Proof Systems for Program Logics, {PSPL}
                  2010, Edinburgh, Scotland, UK, July 10, 2010},
  series       = {EPiC Series in Computing},
  volume       = {12},
  pages        = {8--11},
  publisher    = {EasyChair},
  year         = {2010},
  url          = {https://doi.org/10.29007/rcpt},
  doi          = {10.29007/RCPT},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/Mio10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/ParkP10,
  author       = {Sungwoo Park and
                  Jonghyun Park},
  editor       = {Alex Simpson},
  title        = {Towards a Cut-free Sequent Calculus for Boolean {BI}},
  booktitle    = {International Workshop on Proof Systems for Program Logics, {PSPL}
                  2010, Edinburgh, Scotland, UK, July 10, 2010},
  series       = {EPiC Series in Computing},
  volume       = {12},
  pages        = {12--16},
  publisher    = {EasyChair},
  year         = {2010},
  url          = {https://doi.org/10.29007/t6zs},
  doi          = {10.29007/T6ZS},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/ParkP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/Primiero10,
  author       = {Giuseppe Primiero},
  editor       = {Alex Simpson},
  title        = {A Multi-Modal Dependent Type Theory for Representing Data Accessibility
                  in a Network},
  booktitle    = {International Workshop on Proof Systems for Program Logics, {PSPL}
                  2010, Edinburgh, Scotland, UK, July 10, 2010},
  series       = {EPiC Series in Computing},
  volume       = {12},
  pages        = {17--22},
  publisher    = {EasyChair},
  year         = {2010},
  url          = {https://doi.org/10.29007/vm4p},
  doi          = {10.29007/VM4P},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/Primiero10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/Shilov10,
  author       = {Nikolay V. Shilov},
  editor       = {Alex Simpson},
  title        = {Tableau-Like Automata-Based Axiomatization for Propositional Linear
                  Temporal Logic},
  booktitle    = {International Workshop on Proof Systems for Program Logics, {PSPL}
                  2010, Edinburgh, Scotland, UK, July 10, 2010},
  series       = {EPiC Series in Computing},
  volume       = {12},
  pages        = {23--24},
  publisher    = {EasyChair},
  year         = {2010},
  url          = {https://doi.org/10.29007/df56},
  doi          = {10.29007/DF56},
  timestamp    = {Tue, 15 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/Shilov10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}