GSOS for probabilistic transition systems (2002)

Cached

Download Links

by Falk Bartels
Venue:Proc. Workshop on Coalgebraic Methods in Computer Science 2002, Electron. Notes in Theoret. Comput. Sci. 65 (2002). TCS5266 ARTICLE IN PRESS 20 M. Lenisa et al. / Theoretical Computer Science
Citations:13 - 1 self