Pages that link to "Item:Q3518280"
From MaRDI portal
The following pages link to A Distribution Law for CCS and a New Congruence Result for the pi-calculus (Q3518280):
Displaying 7 items.
- On the expressiveness and decidability of higher-order process calculi (Q627133) (← links)
- A schematic axiom for open congruence (Q866141) (← links)
- Unique parallel decomposition in branching and weak bisimulation semantics (Q896916) (← links)
- A note on the characterization of weak bisimulation congruence in CCS (Q1184736) (← links)
- Tau laws for pi calculus (Q1884877) (← links)
- The \(C_\pi\)-calculus: a model for confidential name passing (Q1996859) (← links)
- (Q5015359) (← links)