Pages that link to "Item:Q1273877"
From MaRDI portal
The following pages link to A conservative look at operational semantics with variable binding (Q1273877):
Displaying 21 items.
- A new approach to abstract syntax with variable binding (Q699761) (← links)
- 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)
- The abstract variable-binding calculus (Q1896759) (← links)
- Rooted branching bisimulation as a congruence (Q1975965) (← links)
- A general SOS theory for the specification of probabilistic transition systems (Q2629851) (← links)
- Reasoning in Abella about structural operational semantics specifications (Q2804943) (← 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)
