✦ LIBER ✦

Basic observables for a calculus for global computing

✍ Scribed by Rocco De Nicola; Daniele Gorla; Rosario Pugliese

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Basic Observables for Processes

✍ Michele Boreale; Rosario Pugliese 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 387 KB

A Gentzen-style axiomatization for basic

✍ Mojtaba Aghaei; Mohammad Ardeshir 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 176 KB

A Symbolic Semantics for a Calculus for

✍ Rosario Pugliese; Francesco Tiezzi; Nobuko Yoshida 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 591 KB

A Calculus for “environment-aware” compu

✍ Viviana Bono; Ferruccio Damiani; Paola Giannini 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 208 KB

A Lambda Calculus for Quantum Computatio

✍ van Tonder, André 📂 Article 📅 2004 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 228 KB

✍ Vince, John 📂 Fiction 🏛 Springer London, London 🌐 English ⚖ 2 MB