✦ LIBER ✦

The security pi-calculus and non-interference

✍ Scribed by Matthew Hennessy

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Security Picalculus and Non-interfer

✍ Hennessy, Matthew 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 419 KB

Spatial and behavioral types in the pi-c

✍ Lucia Acciai; Michele Boreale 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 694 KB

Linearity, Persistence and Testing Seman

✍ Diletta Cacciagrano; Flavio Corradini; Jesús Aranda; Frank D. Valencia 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 469 KB

The effects of proactive interference (P

✍ Michael Diaz; Aaron S. Benjamin 📂 Article 📅 2010 🏛 Psychonomic Society Publications 🌐 English ⚖ 182 KB

Non Deterministic Classical Logic: The λ

✍ Karim Nour 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 159 KB

The reduction and deadlock detection of

✍ Xin Ye; Xinghua Bing; Chao Zuo 📂 Article 📅 2011 🏛 Elsevier 🌐 English ⚖ 437 KB