✦ LIBER ✦

Towards a Process Algebra for Shared Processors

✍ Scribed by Mikael Buchholtz; Jacob Andersen; Hans Henrik Løvengreen

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Multi-Shared Register File Structure f

✍ Guillermo Payá-Vayá; Javier Martín-Langerwerf; Peter Pirsch 📂 Article 📅 2009 🏛 Springer US 🌐 English ⚖ 888 KB

Fluid approximations for a processor-sha

✍ Hong Chen; Offer Kella; Gideon Weiss 📂 Article 📅 1997 🏛 Springer US 🌐 English ⚖ 530 KB

A discrete shared processor model for DQ

✍ Philip G. Potter; Moshe Zukerman 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 447 KB

A process algebraic view of shared datas

✍ Nadia Busi; Gianluigi Zavattaro 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 354 KB

Processor failure recovery for a resourc

✍ Newman, I.A.; Stallard, R.P.; Woodward, M.C. 📂 Article 📅 1986 🏛 The Institution of Electrical Engineers ⚖ 985 KB

Matrix preconditioning: a robust operati

✍ Ghosh, Anjan ;Paparao, Palacharla 📂 Article 📅 1987 🏛 The Optical Society 🌐 English ⚖ 546 KB