Communications and correspondence

Communications And Correspondence

📂 Article 📅 1912 🏛 Elsevier ⚖ 162 KB

Communications and Correspondence

📂 Article 📅 1912 🏛 Elsevier ⚖ 247 KB

Communications and Correspondence

📂 Article 📅 1912 🏛 Elsevier ⚖ 87 KB

## 353 ceptable in so far as their names are concerned. T h e following rules apply t o the naiiies of articles proposed for inclusion with h'ew and Nonofficial Remedies : 1. The names of pharmaceutical preparations or mixtures must indicate the most potent ingredients. 3. Names which are in an

Communications and Correspondence

📂 Article 📅 1912 🏛 Elsevier ⚖ 173 KB

Communications and Correspondance

✍ Dohme, A.R.L. ;Cook, Elliott D. 📂 Article 📅 1913 🏛 Elsevier ⚖ 176 KB

Typing correspondence assertions for com

Typing correspondence assertions for communication protocols

✍ Andrew D Gordon; Alan Jeffrey 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 329 KB

Woo and Lam propose correspondence assertions for specifying authenticity properties of security protocols. Prior work on checking correspondence assertions depends on model-checking and is limited to ÿnite-state systems. We propose a dependent type and e ect system for checking correspondence asser