A simple proof system for lock-free concurrency
Citation:
Caires, L, Ferreira C, Ravara A. 2010. A simple proof system for lock-free concurrency. International Workshop on Proof Systems for Program Logics (PSPL).
Export
RTF
Tagged
XML
BibTex
Google Scholar
Abstract:
n/a
Notes:
n/a
People
Publications
search-site
Enter your keywords:
Recent Publications
Concurrent Typed Intermediate Language
Implementação de um algoritmo de tipificação para linguagem concorrente com tipos comportamentais
Implementação de uma linguagem intermédia e máquina virtual para linguagens concorrentes
Notes on a testing web framework for BST
Type-based Protocol Conformance and Aliasing Control in Concurrent Java Programs
The Type Discipline of Behavioral Separation (Long version with proofs)
more