1550 search results - page 33 / 310 » Erlang for Concurrent Programming |
121
Voted
CONCUR
2004
Springer
15 years 7 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.
117
click to vote
APLAS
2010
ACM
14 years 10 months ago
2010
ACM
Abstract. The paper is devoted to an analysis of the concurrent features of asynchronous systems. A preliminary step is represented by the
CAV
2009
Springer
16 years 2 months ago
2009
Springer
Active testing has recently been introduced to effectively test concurrent programs. Active testing works in two phases. It first uses predictive off-the-shelf static or dynamic pr...
122
click to vote
CP
2001
Springer
15 years 6 months ago
2001
Springer
Abstract The tcc model is a formalism for reactive concurrent constraint programming. In this paper we propose a model of temporal concurrent constraint programming which adds to t...
120
Voted
NJC
2002
15 years 1 months ago
2002
The tcc model is a formalism for reactive concurrent constraint programming. We present a model of temporal concurrent constraint programming which adds to tcc the capability of mo...