Pages that link to "Item:Q456466"
From MaRDI portal
The following pages link to First-order reasoning for higher-order concurrency (Q456466):
Displaying 6 items.
- On the expressiveness and decidability of higher-order process calculi (Q627133) (← links)
- Characteristic bisimulation for higher-order session processes (Q2357655) (← links)
- A Testing Theory for a Higher-Order Cryptographic Language (Q3000588) (← links)
- (Q5155688) (← links)
- (Q5856409) (← links)
- On decidability of the bisimilarity on higher-order processes with parameterization (Q6643749) (← links)
