Pages that link to "Item:Q627133"
From MaRDI portal
The following pages link to On the expressiveness and decidability of higher-order process calculi (Q627133):
Displayed 10 items.
- More on bisimulations for higher order \(\pi\)-calculus (Q442289) (← links)
- Unique parallel decomposition in branching and weak bisimulation semantics (Q896916) (← links)
- On the expressiveness of interaction (Q960859) (← links)
- Distinguishing and relating higher-order and first-order processes by expressiveness (Q1935453) (← links)
- Characteristic bisimulation for higher-order session processes (Q2357655) (← links)
- On the Relative Expressiveness of Higher-Order Session Processes (Q2802492) (← links)
- HOCore in Coq (Q2945640) (← links)
- Normal Bisimulations in Calculi with Passivation (Q3617734) (← links)
- On parameterization of higher-order processes (Q4976336) (← links)
- (Q5377471) (← links)