28 search results - page 3 / 6 » Linearizability with Ownership Transfer |
120
click to vote
APLAS
2009
ACM
15 years 11 months ago
2009
ACM
Handling concurrency using a shared memory and locks is tedious and error-prone. One solution is to use message passing instead. We study here a particular, contract-based flavor ...
172
click to vote
IWACA
1994
15 years 8 months ago
1994
Abstract. Object-oriented design principles map well onto protocol implementations because protocols essentially manipulate two structures--packets and the states of the endpoints....
138
click to vote
ICDIM
2007
IEEE
15 years 10 months ago
2007
IEEE
: Cameras attached to mobile phones are becoming more and more common, and as we move towards 3G and Next Generation Networks, it has become more a standard feature of mobile phone...
144
click to vote
CONCUR
2004
Springer
15 years 9 months ago
2004
Springer
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...
111
click to vote
CRYPTO
1989
Springer
15 years 8 months ago
1989
Springer
Z is a software system designed to provide media-transparent network services on a collection of UNIX® machines. These services are comprised of file transfer and command executi...