Pages that link to "Item:Q507377"
From MaRDI portal
The following pages link to Structural operational semantics for non-deterministic processes with quantitative aspects (Q507377):
Displaying 5 items.
- Behavioural equivalences for coalgebras with unobservable moves (Q890618) (← links)
- \textsc{ULTraS} at work: compositionality metaresults for bisimulation and trace semantics (Q1683708) (← links)
- (Q3121518) (← links)
- AbU: a calculus for distributed event-driven programming with attribute-based interaction (Q6038690) (← links)
- Back to the format: a survey on SOS for probabilistic processes (Q6151619) (← links)