Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Volume
•
Abstracts
•
Preface
•
Authors
•
Keywords
•
BibTex Entries
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
Copyright © 2012-2024 easychair.org. All rights reserved.