The following pages link to Nominal SOS (Q3178277):
Displaying 6 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)
- (Q5856409) (← links)
