✦ LIBER ✦

Program algebra for sequential code

✍ Scribed by J.A. Bergstra; M.E. Loots

Book ID: 114414917
Publisher: Elsevier Science
Year: 2002
Tongue: English
Weight: 201 KB
Volume: 51
Category: Article
ISSN: 1567-8326
DOI: 10.1016/s1567-8326(02)00018-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Program Algebra for Component Code

✍ J. A. Bergstra; M. E. Loots 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 135 KB

Channel Coding with a Sequential Algebra

Channel Coding with a Sequential Algebraic Coding Scheme

✍ Huband, F. ;Jelinek, F. 📂 Article 📅 1971 🏛 IEEE 🌐 English ⚖ 247 KB

On frequency analysis of sequential prog

On frequency analysis of sequential program code execution

✍ R. L. Smelyanskiy 📂 Article 📅 2011 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 198 KB

Algebraic codes for network coding

✍ E. M. Gabidulin; M. Bossert 📂 Article 📅 2009 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 371 KB

Execution architectures for program alge

Execution architectures for program algebra

✍ Jan A. Bergstra; Alban Ponse 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 287 KB

We investigate the notion of an execution architecture in the setting of the program algebra PGA, and distinguish two sorts of these: analytic architectures, designed for the purpose of explanation and provided with a process-algebraic, compositional semantics, and synthetic architectures, focusing

Algebra of algorithms and dynamic parall

Algebra of algorithms and dynamic parallel execution of sequential programs

✍ V. M. Glushkov; Yu. V. Kapitonova; A. A. Letichevskii 📂 Article 📅 1983 🏛 Springer US 🌐 English ⚖ 795 KB