Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1002.0940
Cited By
A Concurrent Language with a Uniform Treatment of Regions and Locks
4 February 2010
Prodromos Gerakios
N. Papaspyrou
Konstantinos Sagonas
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"A Concurrent Language with a Uniform Treatment of Regions and Locks"
1 / 1 papers shown
A Type System for Unstructured Locking that Guarantees Deadlock Freedom without Imposing a Lock Ordering
Prodromos Gerakios
N. Papaspyrou
Konstantinos Sagonas
169
6
0
19 Oct 2011
1
Page 1 of 1
