321 search results - page 6 / 65 » concurrency 2004 |
113
Voted
CONCUR
2004
Springer
15 years 7 months ago
2004
Springer
97
Voted
AIPS
2004
15 years 5 months ago
2004
113
Voted
ACJ
2004
15 years 3 months ago
2004
106
Voted
AICOM
2004
15 years 3 months ago
2004
134
Voted
CONCUR
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we show how a resource-oriented logic, separation logic, can be used to reason about the usage of resources in concurrent programs.