The following pages link to (Q4791841):
Displaying 19 items.
- On quasi-open bisimulation (Q557789) (← links)
- simpA: an agent-oriented approach for programming concurrent applications on top of Java (Q608358) (← links)
- Fair ambients (Q877172) (← links)
- Theory of interaction (Q896903) (← links)
- On the expressiveness of interaction (Q960859) (← links)
- Bisimulation congruence of \(\chi\)-calculus (Q1398380) (← links)
- Understanding the mismatch combinator in chi calculus (Q1853614) (← links)
- Tau laws for pi calculus (Q1884877) (← links)
- Distinguishing and relating higher-order and first-order processes by expressiveness (Q1935453) (← links)
- Processes against tests: on defining contextual equivalences (Q2079681) (← links)
- Nominal unification with letrec and environment-variables (Q2119105) (← links)
- Compositional analysis of protocol equivalence in the applied \(\pi \)-calculus using quasi-open bisimilarity (Q2119978) (← links)
- Open bisimulation, revisited (Q2465030) (← links)
- (Q5020947) (← links)
- (Q5028420) (← links)
- (Q5155663) (← links)
- Forward-Reverse Observational Equivalences in CCSK (Q5162606) (← links)
- Applying a testing approach to the Calculus of Fair Ambients (Q5850754) (← links)
- When privacy fails, a formula describes an attack: a complete and compositional verification method for the applied \(\pi\)-calculus (Q6041667) (← links)
