✦ LIBER ✦

Models for name-passing processes: interleaving and causal

✍ Scribed by Gian Luca Cattani; Peter Sewell

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Comparing operational models of name-pas

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

A congruence rule format for name-passin

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

A computational causal model for process

✍ K. Bousson; L. Travé-Massuyès 📂 Article 📅 1992 🏛 Elsevier Science ⚖ 763 KB

Interference between cues requires a cau

✍ David Luque; Pedro L. Cobos; Francisco J. López 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 379 KB

Application of a stochastic name-passing

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

Simplifying process model abstraction: T

✍ Leopold, Henrik; Mendling, Jan; Reijers, Hajo A.; La Rosa, Marcello 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 767 KB