The following pages link to Vasileios Koutavas (Q456464):
Displaying 12 items.
- First-order reasoning for higher-order concurrency (Q456466) (← links)
- Distinguishing between communicating transactions (Q1706141) (← links)
- Type-Based Analysis for Session Inference (Extended Abstract) (Q2827469) (← links)
- Symbolic Bisimulation for a Higher-Order Distributed Language with Passivation (Q2842104) (← links)
- A Testing Theory for a Higher-Order Cryptographic Language (Q3000588) (← links)
- Reverse Hoare Logic (Q3095238) (← links)
- Communicating Transactions (Q3584956) (← links)
- Small bisimulations for reasoning about higher-order imperative programs (Q5348920) (← links)
- Bisimulations for Communicating Transactions (Q5410681) (← links)
- From Applicative to Environmental Bisimulation (Q5739359) (← links)
- Programming Languages and Systems (Q5899014) (← links)
- From bounded checking to verification of equivalence via symbolic up-to techniques (Q6535615) (← links)