Pages that link to "Item:Q2842551"
From MaRDI portal
The following pages link to GSOS for probabilistic transition systems (extended abstract) (Q2842551):
Displaying 15 items.
- Rational operational models (Q265819) (← links)
- Structural operational semantics for stochastic and weighted transition systems (Q383372) (← links)
- Structural operational semantics for non-deterministic processes with quantitative aspects (Q507377) (← links)
- 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)
- GSOS and finite labelled transition systems (Q1331924) (← 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 (extended abstract) (Q2842551) (← links)
- Well-behaved translations between structural operational semantics (Q2842565) (← links)
- Bialgebraic methods in structural operational semantics (invited talk) (Q2866314) (← links)
- (Q5013870) (← links)
- Non Expansive ε-Bisimulations (Q5505435) (← links)