Pages that link to "Item:Q1400151"
From MaRDI portal
The following pages link to An alternative formulation of operational conservativity with binding terms. (Q1400151):
Displaying 9 items.
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- A thread calculus with molecular dynamics (Q988554) (← links)
- A conservative look at operational semantics with variable binding (Q1273877) (← links)
- Process algebra for hybrid systems (Q1781998) (← links)
- Continuity controlled hybrid automata (Q2368692) (← links)
- Thread algebra for strategic interleaving (Q2461536) (← links)
- (Q4972733) (← links)
- Coverability Synthesis in Parametric Petri Nets (Q5111622) (← links)
- Variable binding operators in transition system specifications (Q5931555) (← links)