Pages that link to "Item:Q3518280"

The following pages link to A Distribution Law for CCS and a New Congruence Result for the pi-calculus (Q3518280):

Displaying 4 items.

• On the expressiveness and decidability of higher-order process calculi (Q627133) (← links)
• Unique parallel decomposition in branching and weak bisimulation semantics (Q896916) (← links)
• The \(C_\pi\)-calculus: a model for confidential name passing (Q1996859) (← links)
• (Q5015359) (← links)