𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A simple system of checks and balances to cut fraud

✍ Scribed by Yang, Xiangzhong; Eggan, K.; Seidel, G.; Jaenisch, R.; Melton, D.


Book ID
109811709
Publisher
Nature Publishing Group
Year
2006
Tongue
English
Weight
133 KB
Volume
439
Category
Article
ISSN
0028-0836

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Model checking and abstraction to the ai
✍ Lenore Zuck; Amir Pnueli πŸ“‚ Article πŸ“… 2004 πŸ› Elsevier Science 🌐 English βš– 433 KB

Parameterized systems are systems that involve numerous instantiations of the same ΓΏnite-state module, and depend on a parameter which deΓΏnes their size. Examples of parameterized systems include sensor systems, telecommunication protocols, bus protocols, cache coherence protocols, and many other pr