PSPL 2010:BibTeX Entries

Volume

@proceedings{PSPL2010,
  title     = {PSPL 2010. International Workshop on Proof Systems for Program Logics},
  editor    = {Alex Simpson},
  series    = {EPiC Series in Computing},
  volume    = {12},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340}}

Papers

@inproceedings{PSPL2010:simple_proof_system_for,
  author    = {Lu\textbackslash{}'is Caires and Carla Ferreira and Ant\textbackslash{}'onio Ravara},
  title     = {A simple proof system for lock-free concurrency},
  booktitle = {PSPL 2010. International Workshop on Proof Systems for Program Logics},
  editor    = {Alex Simpson},
  series    = {EPiC Series in Computing},
  volume    = {12},
  pages     = {1--3},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/xJD},
  doi       = {10.29007/n3nk}}

@inproceedings{PSPL2010:Developer_oriented_Hoare_Logic,
  author    = {Holger Gast},
  title     = {A Developer-oriented Hoare Logic},
  booktitle = {PSPL 2010. International Workshop on Proof Systems for Program Logics},
  editor    = {Alex Simpson},
  series    = {EPiC Series in Computing},
  volume    = {12},
  pages     = {4--7},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/cmM8},
  doi       = {10.29007/8kss}}

@inproceedings{PSPL2010:Proof_System_for_Reasoning,
  author    = {Matteo Mio},
  title     = {A Proof System for Reasoning about Probabilistic Concurrent Processes},
  booktitle = {PSPL 2010. International Workshop on Proof Systems for Program Logics},
  editor    = {Alex Simpson},
  series    = {EPiC Series in Computing},
  volume    = {12},
  pages     = {8--11},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/lJ1},
  doi       = {10.29007/rcpt}}

@inproceedings{PSPL2010:Towards_Cut_free_Sequent_Calculus,
  author    = {Sungwoo Park and Jonghyun Park},
  title     = {Towards a Cut-free Sequent Calculus for Boolean BI},
  booktitle = {PSPL 2010. International Workshop on Proof Systems for Program Logics},
  editor    = {Alex Simpson},
  series    = {EPiC Series in Computing},
  volume    = {12},
  pages     = {12--16},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/KP},
  doi       = {10.29007/t6zs}}

@inproceedings{PSPL2010:Multi_Modal_Dependent_Type_Theory,
  author    = {Giuseppe Primiero},
  title     = {A Multi-Modal Dependent Type Theory for Representing Data Accessibility in a Network},
  booktitle = {PSPL 2010. International Workshop on Proof Systems for Program Logics},
  editor    = {Alex Simpson},
  series    = {EPiC Series in Computing},
  volume    = {12},
  pages     = {17--22},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/gRv},
  doi       = {10.29007/vm4p}}

@inproceedings{PSPL2010:Tableau_Like_Automata_Based_Axiomatization_for,
  author    = {Nikolay V. Shilov},
  title     = {Tableau-Like Automata-Based Axiomatization for Propositional Linear Temporal Logic},
  booktitle = {PSPL 2010. International Workshop on Proof Systems for Program Logics},
  editor    = {Alex Simpson},
  series    = {EPiC Series in Computing},
  volume    = {12},
  pages     = {23--24},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/lGW},
  doi       = {10.29007/df56}}