Pages that link to "Item:Q5327493"
From MaRDI portal
The following pages link to LALBLC A Program Testing the Equivalence of dpda’s (Q5327493):
Displaying 4 items.
- A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols (Q511946) (← links)
- Nested session types (Q2233456) (← links)
- Deciding the Bisimilarity of Context-Free Session Types (Q5164167) (← links)
- From Security Protocols to Pushdown Automata (Q5277904) (← links)
