✦ LIBER ✦

A formal semantics for protocol narrations

✍ Scribed by Sébastien Briais; Uwe Nestmann

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal semantics

✍ A. Ollongren 📂 Article 📅 1976 🏛 Springer US 🌐 English ⚖ 956 KB

A formal semantics for program debugging

✍ Wei Li; Ning Li 📂 Article 📅 2011 🏛 Science in China Press (SCP) 🌐 English ⚖ 478 KB

Formal semantics for mutual belief

✍ Marco Colombetti 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 455 KB

Formal Semantics for Program Paths

✍ Karl Lermer; Colin Fidge; Ian Hayes 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 230 KB

Formal semantics for rule-based systems

✍ S. Murrell; R. Plant 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 900 KB

Syntax and semantics of formal languages

✍ A. A. Letichevskii 📂 Article 📅 1968 🏛 Springer US 🌐 English ⚖ 946 KB