Pages that link to "Item:Q2842551"
From MaRDI portal
The following pages link to GSOS for probabilistic transition systems (Q2842551):
Displayed 5 items.
- Category theory for operational semantics (Q703525) (← links)
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes (Q974113) (← links)
- Bialgebraic methods and modal logic in structural operational semantics (Q1012126) (← links)
- Non Expansive ε-Bisimulations (Q5505435) (← links)