The following pages link to Ankush Das (Q2233454):
Displaying 8 items.
- Nested session types (Q2233456) (← links)
- On Pure Nash Equilibria in Stochastic Games (Q2948480) (← links)
- (Q5028463) (← links)
- Session Types with Arithmetic Refinements (Q5089277) (← links)
- On Petri Nets with Hierarchical Special Arcs (Q5111656) (← links)
- Work Analysis with Resource-Aware Session Types (Q5145303) (← links)
- Towards automatic resource bound analysis for OCaml (Q5370874) (← links)
- Polarized subtyping (Q6166799) (← links)