The following pages link to Romain Demangeon (Q517049):
Displayed 12 items.
- Monitoring networks through multiparty session types (Q517050) (← links)
- Termination in higher-order concurrent calculi (Q710674) (← links)
- Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python (Q888409) (← links)
- Causal computational complexity of distributed processes (Q2112798) (← links)
- Strong Normalisation in λ-Calculi with References (Q2894559) (← links)
- Nested Protocols in Session Types (Q2914375) (← links)
- Full Abstraction in a Subtyped pi-Calculus with Linear Types (Q3090836) (← links)
- Mobile Processes and Termination (Q3184750) (← links)
- Termination in Higher-Order Concurrent Calculi (Q3400914) (← links)
- Termination in Impure Concurrent Languages (Q3584940) (← links)
- Causal Computational Complexity of Distributed Processes (Q5145308) (← links)
- (Q5275396) (← links)