Pages that link to "Item:Q5931555"
From MaRDI portal
The following pages link to Variable binding operators in transition system specifications (Q5931555):
Displaying 14 items.
- Duplication of constants in process algebra (Q864505) (← links)
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- A congruence rule format for name-passing process calculi (Q1012125) (← links)
- A conservative look at operational semantics with variable binding (Q1273877) (← links)
- An alternative formulation of operational conservativity with binding terms. (Q1400151) (← links)
- Process algebra for hybrid systems (Q1781998) (← links)
- A format for semantic equivalence comparison (Q1884897) (← links)
- The abstract variable-binding calculus (Q1896759) (← links)
- Continuity controlled hybrid automata (Q2368692) (← links)
- Variable handling and compositionality: comparing DRT and DTS (Q2425327) (← links)
- Notions of bisimulation and congruence formats for SOS with data (Q2486401) (← links)
- (Q4972733) (← links)
- Coverability Synthesis in Parametric Petri Nets (Q5111622) (← links)
- Real time process algebra with time-dependent conditions (Q5946026) (← links)