Composition and Behaviors of Probabilistic I/O Automata

Publisher Website

1 January 1994

book chapter
Published by Springer Nature

p. 513-528
https://doi.org/10.1007/978-3-540-48654-1_37

Abstract

No abstract available

Keywords

This publication has 3 references indexed in Scilit:

Specification and refinement of probabilistic processes
Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
Performance Analysis Using Stochastic Petri Nets
IEEE Transactions on Computers, 1982
Probabilistic automata
Information and Control, 1963