Pages that link to "Item:Q3184746"
From MaRDI portal
The following pages link to Structural Operational Semantics for Weighted Transition Systems (Q3184746):
Displayed 17 items.
- Rational operational models (Q265819) (← links)
- Structural congruence for bialgebraic semantics (Q338626) (← links)
- Structural operational semantics for stochastic and weighted transition systems (Q383372) (← links)
- Quantitative Kleene coalgebras (Q532394) (← links)
- Bialgebras for structural operational semantics: an introduction (Q639646) (← links)
- Concurrent weighted logic (Q890620) (← links)
- \textsc{ULTraS} at work: compositionality metaresults for bisimulation and trace semantics (Q1683708) (← links)
- From probability monads to commutative effectuses (Q1683710) (← links)
- Best-by-simulations: a framework for comparing efficiency of reconfigurable architectures on workloads with deadlines (Q1785845) (← links)
- Towards general axiomatizations for bisimilarity and trace semantics (Q2237336) (← links)
- Distributive laws for monotone specifications (Q2329307) (← links)
- A general SOS theory for the specification of probabilistic transition systems (Q2629851) (← links)
- (Q5014802) (← links)
- (Q5111646) (← links)
- (Q5214815) (← links)
- Enhanced coalgebraic bisimulation (Q5361143) (← links)
- Affine Monads and Side-Effect-Freeness (Q5739449) (← links)