Pages that link to "Item:Q3637196"
From MaRDI portal
The following pages link to Session-Based Communication Optimisation for Higher-Order Mobile Processes (Q3637196):
Displaying 8 items.
- Reversible session-based pi-calculus (Q492908) (← links)
- Lightening global types (Q492916) (← links)
- Amalgamating sessions and methods in object-oriented languages with generics (Q1004058) (← links)
- Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus (Q2343135) (← links)
- On the Undecidability of Asynchronous Session Subtyping (Q2988385) (← links)
- Progress-preserving Refinements of CTA (Q5009458) (← links)
- Deriving session and union types for objects (Q5410236) (← links)
- On asynchronous eventful session semantics (Q5741564) (← links)