✦ LIBER ✦

Typed Abstract State Machines for data-intensive applications

✍ Scribed by Klaus-Dieter Schewe; Jane Zhao

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Guarded Fragment for Abstract State Ma

✍ Antje Nowack 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 1021 KB

Decidable properties for monadic abstrac

✍ D. Beauquier 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 266 KB

Designing a novel high-performance FPGA

✍ Kostas Siozios; Dimitrios Soudris 📂 Article 📅 2008 🏛 Springer-Verlag 🌐 English ⚖ 595 KB

Tools and approaches for developing data

✍ Fraternali, Piero 📂 Article 📅 1999 🏛 Association for Computing Machinery 🌐 English ⚖ 512 KB

Shared State for Distributed Interactive

✍ Srinivasan Parthasarathy; Sandhya Dwarkadas 📂 Article 📅 2002 🏛 Springer US 🌐 English ⚖ 386 KB

Transition Specifications for Dynamic Ab

✍ Martin Große-Rhode 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 375 KB