Searching for "Characterising Testing Preorders for Finite Probabilistic Processes" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Characterising testing preorders for finite probabilistic processes
by Yuxin Deng, Rob Van Glabbeek — In LICS’07: Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science. IEEE Computer Society Press, Los Alamitos, CA
…- and must testing preorders for a finite version of the process calculus CSP extended with probabilistic…
Cited by 4 (2 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB