5 search results - page 1 / 1 » concur 1994 |
CONCUR
1994
Springer
14 years 3 months ago
1994
Springer
CONCUR
1994
Springer
14 years 3 months ago
1994
Springer
CONCUR
1994
Springer
14 years 3 months ago
1994
Springer
CONCUR
1994
Springer
14 years 3 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...
CONCUR
1994
Springer
14 years 3 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...