Program algebra with unit instruction operators

DOI10.1016/S1567-8326(02)00019-XzbMATH Open1008.68080WikidataQ114850073 ScholiaQ114850073MaRDI QIDQ1858433FDOQ1858433

Authors: Alban Ponse 

Publication date: 13 February 2003

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Program algebra for sequential code
• Equivalence and preorder checking for finite-state systems
• Program algebra for component code
• Title not available (Why is that?)

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)