𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A formal semantics for protocol narrations

✍ Scribed by Sébastien Briais; Uwe Nestmann


Book ID
108281358
Publisher
Elsevier Science
Year
2007
Tongue
English
Weight
507 KB
Volume
389
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Formal semantics
✍ A. Ollongren 📂 Article 📅 1976 🏛 Springer US 🌐 English ⚖ 956 KB
Formal Semantics for Program Paths
✍ Karl Lermer; Colin Fidge; Ian Hayes 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 230 KB