Pages that link to "Item:Q3617734"

The following pages link to Normal Bisimulations in Calculi with Passivation (Q3617734):

Displaying 7 items.

• Reversibility in the higher-order \(\pi\)-calculus (Q264996) (← links)
• On the expressiveness and decidability of higher-order process calculi (Q627133) (← links)
• Characterizing contextual equivalence in calculi with passivation (Q651309) (← links)
• Howe’s Method for Calculi with Passivation (Q3184692) (← links)
• Normal Bisimulations in Calculi with Passivation (Q3617734) (← links)
• (Q5015357) (← links)
• Parameterizing higher-order processes on names and processes (Q5108373) (← links)