Pages that link to "Item:Q1269916"
From MaRDI portal
The following pages link to Verifying identical communicating processes is undecidable (Q1269916):
Displayed 5 items.
- Conversation protocols: a formalism for specification and verification of reactive electronic services (Q703491) (← links)
- Automated verification of automata communicating via FIFO and bag buffers (Q1650866) (← links)
- Verification of programs with half-duplex communication (Q2573635) (← links)
- Honesty by Typing (Q2974791) (← links)
- On the Undecidability of Asynchronous Session Subtyping (Q2988385) (← links)