Volume
@proceedings{PSPL2010,
title = {PSPL 2010. International Workshop on Proof Systems for Program Logics},
editor = {Alex Simpson},
series = {EPiC Series in Computing},
volume = {12},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
year = {2013}}
Papers
@inproceedings{PSPL2010:simple_proof_system_lock,
author = {Luís Caires and Carla Ferreira and António 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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/xJD},
doi = {10.29007/n3nk},
pages = {1-3},
year = {2013}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/cmM8},
doi = {10.29007/8kss},
pages = {4-7},
year = {2013}}
@inproceedings{PSPL2010:Proof_System_Reasoning_about,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/lJ1},
doi = {10.29007/rcpt},
pages = {8-11},
year = {2013}}
@inproceedings{PSPL2010:Towards_Cut_free_Sequent,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/KP},
doi = {10.29007/t6zs},
pages = {12-16},
year = {2013}}
@inproceedings{PSPL2010:Multi_Modal_Dependent_Type,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/gRv},
doi = {10.29007/vm4p},
pages = {17-22},
year = {2013}}
@inproceedings{PSPL2010:Tableau_Like_Automata_Based,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/lGW},
doi = {10.29007/df56},
pages = {23-24},
year = {2013}}