Pages that link to "Item:Q517050"
From MaRDI portal
The following pages link to Monitoring networks through multiparty session types (Q517050):
Displaying 17 items.
- Event-based run-time adaptation in communication-centric systems (Q315279) (← links)
- Self-adaptation and secure information flow in multiparty communications (Q315296) (← links)
- Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python (Q888409) (← links)
- Synthesising correct concurrent runtime monitors (Q888412) (← links)
- Timed runtime monitoring for multiparty conversations (Q1682289) (← 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)
- Selective monitoring (Q2221805) (← links)
- (Q5009434) (← links)
- (Q5009452) (← links)
- Consistently-detecting monitors (Q5111620) (← links)
- Monitoring for Silent Actions (Q5136296) (← links)
- Bidirectional Runtime Enforcement of First-Order Branching-Time Properties (Q5883741) (← links)
- Decentralized runtime verification of message sequences in message-based systems (Q6042075) (← links)
- On first-order runtime enforcement of branching-time properties (Q6090988) (← links)
- Compositional runtime enforcement revisited (Q6108437) (← links)
