Pages that link to "Item:Q1682289"
From MaRDI portal
The following pages link to Timed runtime monitoring for multiparty conversations (Q1682289):
Displaying 10 items.
- Computer says no: verdict explainability for runtime monitors using a local proof system (Q1996872) (← links)
- Session-based concurrency, declaratively (Q2120811) (← links)
- The reversible temporal process language (Q2165209) (← links)
- Input urgent semantics for asynchronous timed session types (Q2329441) (← links)
- A Gentle Introduction to Multiparty Asynchronous Session Types (Q2822666) (← links)
- Enforcing Availability in Failure-Aware Communicating Systems (Q2827467) (← links)
- Honesty by Typing (Q2974791) (← links)
- Progress-preserving Refinements of CTA (Q5009458) (← links)
- Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types (Q5041094) (← links)
- revTPL: The Reversible Temporal Process Language (Q6151560) (← links)
