Pages that link to "Item:Q2573335"
From MaRDI portal
The following pages link to On an open problem of Amadio and Curien: The finite antichain condition (Q2573335):
Displaying 9 items.
- On the largest Cartesian closed category of stable domains (Q517047) (← links)
- A taxonomy of process calculi for distribution and mobility (Q660996) (← links)
- A partial solution to an open problem of Amadio and Curien (Q1753999) (← links)
- A quick construction of a retraction of all retractions for stable bifinites (Q1891153) (← links)
- Maximality and totality of stable functions in the category of stable bifinite domains (Q2475889) (← links)
- Communication and mobility control in boxed ambients (Q2573334) (← links)
- An overview of boxed ambients (abstract) (Q2841270) (← links)
- Splitting mobility and communication in boxed ambients (Q2851706) (← links)
- Mathematical Foundations of Computer Science 2004 (Q5311159) (← links)