Sciweavers

CONCUR   2003 Seminar on Concurrency
Wall of Fame | Most Viewed CONCUR-2003 Paper
CONCUR
2003
Springer
13 years 8 months ago
A Process-Algebraic Language for Probabilistic I/O Automata
We present a process-algebraic language for Probabilistic I/O Automata (PIOA). To ensure that PIOA specifications given in our language satisfy the “input-enabled” property, w...
Eugene W. Stark, Rance Cleaveland, Scott A. Smolka
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
IdReadViewsTitleStatus
1Download preprint from source155
2Download preprint from source153
3Download preprint from source144
4Download preprint from source123
5Download preprint from source122
6Download preprint from source121
7Download preprint from source120
8Download preprint from source117
9Download preprint from source115
10Download preprint from source106
11Download preprint from source101
12Download preprint from source99
13Download preprint from source96
14Download preprint from source91
15Download preprint from source90
16Download preprint from source89
17Download preprint from source86
18Download preprint from source86
19Download preprint from source86
20Download preprint from source81
21Download preprint from source81