Coalgebraic Trace Semantics for Probabilistic Transition Systems Based on Measure Theory (Q2912693)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Coalgebraic Trace Semantics for Probabilistic Transition Systems Based on Measure Theory |
scientific article |
Statements
Coalgebraic Trace Semantics for Probabilistic Transition Systems Based on Measure Theory (English)
0 references
25 September 2012
0 references
