The following pages link to Nominal SOS (Q3178277):
Displaying 8 items.
- A parametric framework for reversible \(\pi\)-calculi (Q2216133) (← links)
- A unified rule format for bounded nondeterminism in SOS with terms as labels (Q2403821) (← links)
- Nominal SOS (Q3178277) (← links)
- (Q4972733) (← links)
- Coverability Synthesis in Parametric Petri Nets (Q5111622) (← links)
- Leaving the Nest: Nominal Techniques for Variables with Interleaving Scopes (Q5351969) (← links)
- The Meaning of Ordered SOS (Q5385997) (← links)
- (Q5856409) (← links)