21007 search results - page 3825 / 4202 » Mobile Parallel Computing |
179
click to vote
SC
2005
ACM
16 years 10 days ago
2005
ACM
The memory consistency model in parallel programming controls the order in which operations performed by one thread may be observed by another. Language designers have been reluct...
182
click to vote
BIRTHDAY
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Van Glabbeek (1990) presented the linear time/branching time spectrum of behavioral equivalences for finitely branching, concrete, sequential processes. He studied these...
187
click to vote
COCOON
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. The original definition of P-systems calls for rules to be applied in a maximally parallel fashion. However, in some cases a sequential model may be a more reasonable as...
141
Voted
CONCUR
2005
Springer
16 years 9 days ago
2005
Springer
The focus of process calculi is interaction rather than computation, and for this very reason: (i) their operational semantics is conveniently expressed by labelled transition syst...
159
click to vote
CONCUR
2005
Springer
16 years 9 days ago
2005
Springer
d Abstract) Adrian Francalanza and Matthew Hennessy University of Sussex, Falmer Brighton BN1 9RH, England Abstract. We develop a behavioural theory of distributed programs in the ...