Pages that link to "Item:Q5096732"

The following pages link to Reasoning about higher-order processes (Q5096732):

Displaying 4 items.

• First-order reasoning for higher-order concurrency (Q456466) (← links)
• Proving properties of dynamic process networks (Q1383156) (← links)
• A Logic for Distributed Higher Order π-Calculus (Q3502660) (← links)
• First–order Semantics for Higher–order Processes (Q4921509) (← links)