Pages that link to "Item:Q2852102"
From MaRDI portal
The following pages link to A congruence format for name-passing calculi (Q2852102):
Displaying 12 items.
- Characterizing contextual equivalence in calculi with passivation (Q651309) (← links)
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- Similarity implies equivalence in a class of non-deterministic call-by-need lambda calculi (Q964003) (← links)
- A congruence rule format for name-passing process calculi (Q1012125) (← links)
- Algebraic theories for name-passing calculi (Q1898459) (← links)
- Open bisimulation, revisited (Q2465030) (← links)
- Two cotensors in one: presentations of algebraic theories for local state and fresh names (Q2805171) (← links)
- A well-behaved LTS for the pi-calculus (abstract) (Q2871826) (← links)
- Nominal SOS (Q3178277) (← links)
- (Q4972733) (← links)
- Coverability Synthesis in Parametric Petri Nets (Q5111622) (← links)
- A Proof Theoretic Approach to Operational Semantics (Q5262970) (← links)