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 18 items.
- Duplication of constants in process algebra (Q864505) (← links)
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- Lifting non-finite axiomatizability results to extensions of process algebras (Q969643) (← links)
- A congruence rule format for name-passing process calculi (Q1012125) (← 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)
- A general SOS theory for the specification of probabilistic transition systems (Q2629851) (← links)
- Proving the validity of equations in GSOS languages using rule-matching bisimilarity (Q2883120) (← links)
- (Q4972733) (← links)
- (Q5013870) (← links)
- Coverability Synthesis in Parametric Petri Nets (Q5111622) (← 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)