On the behaviours produced by instruction sequences under execution

DOI10.3233/FI-2012-753MaRDI QIDQ4902302zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

instruction sequenceinstruction sequence producible processremote instruction processing

Mathematics Subject Classification ID

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

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

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)