Pages that link to "Item:Q651309"

The following pages link to Characterizing contextual equivalence in calculi with passivation (Q651309):

Displaying 6 items.

• First-order reasoning for higher-order concurrency (Q456466) (← links)
• \(\mathrm{HO}\pi\) in Coq (Q2031410) (← links)
• Howe’s Method for Calculi with Passivation (Q3184692) (← links)
• On parameterization of higher-order processes (Q4976336) (← links)
• (Q5015357) (← links)
• Parameterizing higher-order processes on names and processes (Q5108373) (← links)