PSPL 2010: Author Index

Author	Papers
C
Caires, Luis	A simple proof system for lock-free concurrency
F
Ferreira, Carla	A simple proof system for lock-free concurrency
G
Gast, Holger	A Developer-oriented Hoare Logic
M
Mio, Matteo	A Proof System for Reasoning about Probabilistic Concurrent Processes
P
Park, Jonghyun	Towards a Cut-free Sequent Calculus for Boolean BI
Park, Sungwoo	Towards a Cut-free Sequent Calculus for Boolean BI
Primiero, Giuseppe	A Multi-Modal Dependent Type Theory for Representing Data Accessibility in a Network
R
Ravara, António	A simple proof system for lock-free concurrency
S
Shilov, Nikolay	Tableau-Like Automata-Based Axiomatization for Propositional Linear Temporal Logic