Pages that link to "Item:Q2828298"
From MaRDI portal
The following pages link to Monitors and blame assignment for higher-order session types (Q2828298):
Displaying 13 items.
- Monitoring networks through multiparty session types (Q517050) (← links)
- Computer says no: verdict explainability for runtime monitors using a local proof system (Q1996872) (← links)
- A theory of monitors (Q2051767) (← links)
- On bidirectional runtime enforcement (Q2117010) (← links)
- Reversibility in session-based concurrency: a fresh look (Q2360649) (← links)
- (Q5009447) (← links)
- (Q5009452) (← links)
- Consistently-detecting monitors (Q5111620) (← links)
- (Q5875401) (← links)
- Bidirectional Runtime Enforcement of First-Order Branching-Time Properties (Q5883741) (← links)
- Session-typed concurrent contracts (Q5925542) (← links)
- On first-order runtime enforcement of branching-time properties (Q6090988) (← links)
- Asynchronous session-based concurrency: deadlock-freedom in cyclic process networks (Q6635516) (← links)
