Program algebra with unit instruction operators

DOI10.1016/S1567-8326(02)00019-XMaRDI QIDQ1858433zbMATH OpenWikidataFDO

Authors Alban Ponse

Publication date 13 February 2003

Published in The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

zbMATH Keywords

program algebraprojection semanticsunit instruction operator

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Program algebra for sequential code
• Program algebra for component code
• Program algebra with a jump-shift instruction
• Program algebra and coprogram calculus
• scientific article; zbMATH DE number 3936467

Cites work

• scientific article; zbMATH DE number 986407 (Why is no real title available?)
• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 46835 (Why is no real title available?)
• Equivalence and preorder checking for finite-state systems
• Program algebra for component code
• Program algebra for sequential code

Cited in

(5)

• Maurer computers for pipelined instruction processing
• Program algebra with a jump-shift instruction
• Program algebra and coprogram calculus
• Program algebra for component code
• Program algebra for sequential code

This page was built for publication: Program algebra with unit instruction operators

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