GSOS for probabilistic transition systems (Extended Abstract) (2002)

Cached

Download Links

by Falk Bartels
Citations:1 - 1 self

Document Versions

GSOS for probabilistic transition systems (Extended Abstract) –Falk Bartels — 2002
GSOS for probabilistic transition systems (Extended Abstract) –Falk Bartels — 2002 — Proc. Coalgebraic Methods in Computer Science (CMCS 2002), volume 65 of Electronic Notes in Theoretical Computer Science