# A general SOS theory for the specification of probabilistic transition systems

> Research article (Information and Computation, 2016) · cited 10× · AI/ML

**Wikidata**: [openalex:W2330589374](https://www.wikidata.org/wiki/openalex:W2330589374)  
**Source**: https://4ort.xyz/entity/a-general-sos-theory-for-the-specification-of-probabilistic-transition-systems