Program algebra with unit instruction operators

DOI10.1016/S1567-8326(02)00019-XzbMath1008.68080WikidataQ114850073 ScholiaQ114850073MaRDI QIDQ1858433

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)

Related Items (1)

Maurer computers for pipelined instruction processing

Cites Work

• Program algebra for component code
• Program algebra for sequential code
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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