Pages that link to "Item:Q1398380"
From MaRDI portal
The following pages link to Bisimulation congruence of \(\chi\)-calculus (Q1398380):
Displaying 10 items.
- A pure labeled transition semantics for the applied pi calculus (Q621583) (← links)
- Fair ambients (Q877172) (← links)
- Theory of interaction (Q896903) (← links)
- Meta model of concurrent computation. III: Bisimulation lattice (Q2704970) (← links)
- Checking strong open congruence in \(\chi\)-calculus (Q2845515) (← links)
- Bisimulation Congruences in the Calculus of Looping Sequences (Q3525142) (← links)
- Normal Bisimulations in Calculi with Passivation (Q3617734) (← links)
- (Q4415246) (← links)
- Calculating Invariants as Coreflexive Bisimulations (Q5505417) (← links)
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science (Q5897764) (← links)