✦ LIBER ✦

Comparing operational models of name-passing process calculi

✍ Scribed by Marcelo Fiore; Sam Staton

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A congruence rule format for name-passin

✍ Marcelo Fiore; Sam Staton 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 1015 KB

Models for name-passing processes: inter

✍ Gian Luca Cattani; Peter Sewell 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 666 KB

Product and Process Modelling || Modelli

✍ Abdul Samad, Noor Asma Fazli 📂 Article 📅 2011 🏛 Elsevier ⚖ 770 KB

Application of a stochastic name-passing

✍ Corrado Priami; Aviv Regev; Ehud Shapiro; William Silverman 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 129 KB

Mathematical modelling of materials proc

✍ Barley, R.W. 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 94 KB

Mathematical modelling of food processin

✍ Anantheswaran, Swamy 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 108 KB