Pages that link to "Item:Q1331924"
From MaRDI portal
The following pages link to GSOS and finite labelled transition systems (Q1331924):
Displayed 6 items.
- Rational operational models (Q265819) (← links)
- A format for semantic equivalence comparison (Q1884897) (← links)
- A parametric framework for reversible \(\pi\)-calculi (Q2216133) (← links)
- SOS rule formats for idempotent terms and idempotent unary operators (Q2436519) (← links)
- (Q3384917) (← links)
- Natural Quantum Operational Semantics with Predicates (Q5324519) (← links)