2302 search results - page 88 / 461 » The Evolution of Concurrent Programs |
267
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
This paper contributes to the development of techniques for the modular proof of programs that include concurrent algorithms. We present a proof of a non-blocking concurrent algor...
180
click to vote
CONCUR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. A concurrent Kleene algebra offers, next to choice and iteration, operators for sequential and concurrent composition, related by an inequational form of the exchange la...
148
click to vote
ICALP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We consider a finitary procedural programming language (finite data-types, no recursion) extended with parallel composition and binary semaphores. Having first shown t...
152
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
We have developed a programming model that integrates concurrency with object-based programming. The model includes features for object definition and instantiation, and it support...
146
click to vote
ISSTA
2006
ACM
16 years 3 days ago
2006
ACM
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. A common kind of concurrency error is deadlock, which occurs when some thread...