GSOS for Probabilistic Transition Systems (2002)

Cached

Download Links

by Falk Bartels
Citations:13 - 1 self

Document Versions

GSOS for Probabilistic Transition Systems –Falk Bartels — 2002
GSOS for Probabilistic Transition Systems –Falk Bartels — 2002
GSOS for probabilistic transition systems –Falk Bartels — 2002 — 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