DMCA

A process-algebraic language for probabilistic I/O automata (2003)

by Eugene W. Stark , Rance Cleaveland , Scott A. Smolka
Venue:IN PROC. OF THE 14TH INT. CONF. ON CONCURRENCY THEORY (CONCUR 2003), LNCS
Citations:15 - 2 self