@inproceedings{35d0973ff477403da6c80761ccdf04d0,
title = "Composition and behaviors of probabilistic I/O automata",
abstract = "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 asynchronous probabilistic systems. Our new model, called probabililtic I/O automata, preserves the fundamental properties of the I/O automaton model, such as the asymmetric treatment of input and output and the pleasant notion of asynchronous composition. For the class of probabilistic I/O automata without internal actions, we show that probabili1tic behavior maps, which are an abstract representation of I/O automaton behavior in terms of a certain expectation operator, are compositional and fully abstract with respect to a natural notion of probabilistic testing.",
author = "Wu, \{Sue Hwey\} and Smolka, \{Scott A.\} and Stark, \{Eugene W.\}",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1994.; 5th International Conference on Concurrency Theory, CONCUR 1994 ; Conference date: 22-08-1994 Through 25-08-1994",
year = "1994",
doi = "10.1007/978-3-540-48654-1\_37",
language = "English",
isbn = "9783540583295",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "513--528",
editor = "Bengt Jonsson and Joachim Parrow",
booktitle = "CONCUR 1994",
}