172
Voted
CONCUR
15 years 7 months ago
1994 Springer 
We augment the I/O automaton model of Lynch and Tuttle with probability, as a step toward the ultimate goal of obtaining a useful tool for specifying and reasoning about asynchron...
137
Voted
CONCUR
15 years 7 months ago
1994 Springer 
Abstract. In this paper we study a special operator for sequential composition, which is de ned relative to a dependency relation over the actions of a given system. The idea is th...
100
Voted
CONCUR
15 years 7 months ago
1994 Springer  CONCUR
15 years 7 months ago
1994 Springer 95
Voted
CONCUR
15 years 7 months ago
1994 Springer  |
Distributed And Parallel Computing