Pages that link to "Item:Q456466"
From MaRDI portal
The following pages link to First-order reasoning for higher-order concurrency (Q456466):
Displaying 9 items.
- Contextual equivalence for higher-order \(\pi\)-calculus revisited (Q276479) (← links)
- On the expressiveness and decidability of higher-order process calculi (Q627133) (← links)
- Towards `up to context' reasoning about higher-order processes (Q2286742) (← links)
- Characteristic bisimulation for higher-order session processes (Q2357655) (← links)
- A Testing Theory for a Higher-Order Cryptographic Language (Q3000588) (← links)
- From π-calculus to higher-order π-calculus — and back (Q5044732) (← links)
- (Q5155688) (← links)
- (Q5856409) (← links)
- On decidability of the bisimilarity on higher-order processes with parameterization (Q6643749) (← links)