CONCUR
14 years 1 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
14 years 1 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...
CONCUR
14 years 1 months ago
1994 Springer CONCUR
14 years 1 months ago
1994 Springer CONCUR
14 years 1 months ago
1994 Springer |