Execution architectures for program algebra

DOI10.1016/J.JAL.2005.10.013MaRDI QIDQ881834zbMATH OpenOpenAlexFDO

Authors Alban Ponse, J. A. Bergstra

Publication date 18 May 2007

Published in Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jal.2005.10.013

zbMATH Keywords

Turing machineprogram algebrahalting problemexecution of programs

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Logical Approaches to Computational Barriers
• Program algebra for Turing-machine programs
• Program algebra and coprogram calculus
• Primitive program algebras. II
• Program algebra over an algebra

Cites work

• scientific article; zbMATH DE number 4097299 (Why is no real title available?)
• scientific article; zbMATH DE number 2038694 (Why is no real title available?)
• scientific article; zbMATH DE number 1555176 (Why is no real title available?)
• scientific article; zbMATH DE number 1412988 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• A propositional logic with 4 values: true, false, divergent and meaningless
• Bochvar-McCarthy logic and process algebra
• CONCUR '90. Theories of concurrency: unification and extension. Amsterdam, The Netherlands, August 1990. Proceedings
• Combining programs and state machines
• New Computational Paradigms
• Non-regular iterators in process algebra
• Process algebra for synchronous communication
• Processes and the denotational semantics of concurrency
• Program algebra for sequential code
• Register-machine based processes

Cited in

(7)

• On the expressiveness of single-pass instruction sequences
• Decision problems for pushdown threads
• Instruction sequence processing operators
• Machine structure oriented control code logic
• scientific article; zbMATH DE number 1497848 (Why is no real title available?)
• Thread algebra for poly-threading
• scientific article; zbMATH DE number 1390330 (Why is no real title available?)

This page was built for publication: Execution architectures for program algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q881834)