570 search results - page 39 / 114 » concurrency 2006 |
146
click to vote
ISSTA
2006
ACM
16 years 53 min 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...
144
click to vote
LICS
2006
IEEE
16 years 1 days ago
2006
IEEE
We motivate and study a generic relaxation of correctness of reactive and concurrent systems with respect to a temporal specification. We define a system to be fairly correct if...
136
click to vote
FMSD
2002
15 years 5 months ago
2002
Object-based sequential programming has had a major impact on software engineering. However, object-based concurrent programming remains elusive as an effective programming tool. T...
128
click to vote
CERA
2006
15 years 6 months ago
2006
er.sagepub.com/cgi/content/abstract/14/4/283 The online version of this article can be found at: Published by: http://www.sagepublications.com can be found at:Concurrent Engineerin...
149
click to vote
FMCO
2006
Springer
15 years 9 months ago
2006
Springer
In this paper we shall survey and discuss in detail the work on the relative expressiveness of recursion and replication in various process calculi. Namely, CCS, the -calculus, the...