On the behaviours produced by instruction sequences under execution

DOI10.3233/FI-2012-753zbMATH Open1256.68041OpenAlexW3100459713MaRDI QIDQ4902302FDOQ4902302

Authors: J. A. Bergstra, C. A. Middelburg 

Publication date: 14 January 2013

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2012-753

Recommendations

• Transmission Protocols for Instruction Streams
• Instruction sequences for computer science.
• A short introduction to program algebra with instructions for Boolean registers
• On the expressiveness of single-pass instruction sequences
• Instruction sequences with dynamically instantiated instructions

zbMATH Keywords

instruction sequenceinstruction sequence producible processremote instruction processing

Mathematics Subject Classification ID

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

Cited In (9)

• A short introduction to program algebra with instructions for Boolean registers
• Axioms for behavioural congruence of single-pass instruction sequences
• Instruction sequence processing operators
• Instruction sequences with dynamically instantiated instructions
• Instruction sequences for computer science.
• An instruction sequence semigroup with involutive anti-automorphisms
• Thread extraction for polyadic instruction sequences
• Transmission Protocols for Instruction Streams
• Partially defined computer instructions and guards

This page was built for publication: On the behaviours produced by instruction sequences under execution

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