𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the expressiveness and decidability of higher-order process calculi

✍ Scribed by Ivan Lanese; Jorge A. Pérez; Davide Sangiorgi; Alan Schmitt


Book ID
113641932
Publisher
Elsevier Science
Year
2011
Tongue
English
Weight
532 KB
Volume
209
Category
Article
ISSN
0890-5401

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES