PSPL@LICS

2010201320102013

Keyphrases

Publications

volume 12, 2013

International Workshop on Proof Systems for Program Logics, PSPL 2010, Edinburgh, Scotland, UK, July 10, 2010 PSPL@LICS 12 (2013)

2010

Matteo Mio
A Proof System for Reasoning about Probabilistic Concurrent Processes. PSPL@LICS (2010)
Sungwoo Park, Jonghyun Park
Towards a Cut-free Sequent Calculus for Boolean BI. PSPL@LICS (2010)
Holger Gast
A Developer-oriented Hoare Logic. PSPL@LICS (2010)
Nikolay V. Shilov
Tableau-Like Automata-Based Axiomatization for Propositional Linear Temporal Logic. PSPL@LICS (2010)
Luís Caires, Carla Ferreira, António Ravara
A simple proof system for lock-free concurrency. PSPL@LICS (2010)
Giuseppe Primiero
A Multi-Modal Dependent Type Theory for Representing Data Accessibility in a Network. PSPL@LICS (2010)