✦ LIBER ✦

Relating State-Based and Process-Based Concurrency through Linear Logic

✍ Scribed by Iliano Cervesato; Andre Scedrov

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Relating state-based and process-based c

✍ Iliano Cervesato; Andre Scedrov 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 744 KB

The processing of concurrent sounds base

✍ Annekathrin Weise; Erich Schröger; Alexandra Bendixen 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 648 KB

Optimisation of the EDM Process Based on

✍ C.L. Lin; J.L. Lin; T.C. Ko 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 129 KB

Quasi-linear versus potential-based form

✍ Markus Hütter, Bob Svendsen 📂 Article 📅 2013 🏛 Springer 🌐 English ⚖ 287 KB

The linear relation between temperatures

✍ Chandler A. Swanberg; Paul Morgan 📂 Article 📅 1978 🏛 Springer 🌐 English ⚖ 768 KB