Pages that link to "Item:Q383372"
From MaRDI portal
The following pages link to Structural operational semantics for stochastic and weighted transition systems (Q383372):
Displaying 6 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)
