Pages that link to "Item:Q383372"
From MaRDI portal
The following pages link to Structural operational semantics for stochastic and weighted transition systems (Q383372):
Displayed 11 items.
- Structural operational semantics for non-deterministic processes with quantitative aspects (Q507377) (← links)
- Behavioural equivalences for coalgebras with unobservable moves (Q890618) (← links)
- Best-by-simulations: a framework for comparing efficiency of reconfigurable architectures on workloads with deadlines (Q1785845) (← links)
- Compositionality for quantitative specifications (Q1797783) (← links)
- From generic partition refinement to weighted tree automata minimization (Q1982644) (← links)
- Book review of: D. Draheim, Semantics of the probabilistic typed lambda calculus. Markov chain semantics, termination behavior, and denotational semantics. (Q2050098) (← links)
- Reduction semantics in Markovian process algebra (Q2413025) (← links)
- A general SOS theory for the specification of probabilistic transition systems (Q2629851) (← links)
- (Q3121518) (← links)
- Minimality Notions via Factorization Systems and Examples (Q5043590) (← links)
- Back to the format: a survey on SOS for probabilistic processes (Q6151619) (← links)