ICPADS
1996
IEEE
13 years 12 months ago
1996
IEEE
COORDINATION
1997
Springer
13 years 12 months ago
1997
Springer
COORDINATION
1997
Springer
13 years 12 months ago
1997
Springer
COORDINATION
1997
Springer
13 years 12 months ago
1997
Springer
The aim of this paper is to promote the idea of developing reusable coordination patterns for parallel computing, i.e. customizable components from which parallel applications can ...
CONCUR
1997
Springer
13 years 12 months ago
1997
Springer
We study properties of asynchronous communication independently of any concrete concurrent process paradigm. We give a general-purpose, mathematically rigorous definition of sever...
CONCUR
1997
Springer
13 years 12 months ago
1997
Springer
Eventstructuremodelsoftenhavesomeconstraintwhichensuresthatforeachsystemrunitisclearwhatarethecausalpredecessorsofanevent(i.e. there is no causal ambiguity). In this contribution w...
CONCUR
1997
Springer
13 years 12 months ago
1997
Springer
CONCUR
1997
Springer
13 years 12 months ago
1997
Springer
CONCUR
1997
Springer
13 years 12 months ago
1997
Springer
Abstract. We extend cc to allow the specification of a discrete probability distribution for random variables. We demonstrate the expressiveness of pcc by synthesizing combinators...
CONCUR
1997
Springer
13 years 12 months ago
1997
Springer