Similar Items: Soundness in negotiations
- Build your own clarithmetic II: Soundness
- Proving Soundness of Extensional Normal-Form Bisimilarities
- Sound approximate and asymptotic probabilistic bisimulations for PCTL
- The Sound of UAVs: A Review of Algorithms, Applications, and Databases
- A Sound Algorithm for Asynchronous Session Subtyping and its Implementation
- Tightly-Secure Simulation-Sound Quasi-Adaptive NIZK Arguments