Pages that link to "Item:Q1273877"
From MaRDI portal
The following pages link to A conservative look at operational semantics with variable binding (Q1273877):
Displayed 11 items.
- Duplication of constants in process algebra (Q864505) (← links)
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- A general conservative extension theorem in process algebras with inequalities (Q1391791) (← links)
- An alternative formulation of operational conservativity with binding terms. (Q1400151) (← links)
- Bisimilarity of open terms. (Q1854331) (← links)
- Modular structural operational semantics (Q1878712) (← links)
- A format for semantic equivalence comparison (Q1884897) (← links)
- Rooted branching bisimulation as a congruence (Q1975965) (← links)
- Variable binding operators in transition system specifications (Q5931555) (← links)
- Real time process algebra with time-dependent conditions (Q5946026) (← links)
- An axiomatic semantics for Esterel (Q5958617) (← links)