Pages that link to "Item:Q2842551"
From MaRDI portal
The following pages link to GSOS for probabilistic transition systems (Q2842551):
Displaying 11 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)
- A general SOS theory for the specification of probabilistic transition systems (Q2629851) (← links)
- Rule Formats for Timed Processes (Q2841307) (← links)
- GSOS for probabilistic transition systems (Q2842551) (← links)
- Well-behaved Translations between Structural Operational Semantics (Q2842565) (← links)
- Bialgebraic Methods in Structural Operational Semantics (Q2866314) (← links)
- (Q5013870) (← links)
- Non Expansive ε-Bisimulations (Q5505435) (← links)