Program algebra with unit instruction operators
From MaRDI portal
Publication:1858433
DOI10.1016/S1567-8326(02)00019-XzbMath1008.68080WikidataQ114850073 ScholiaQ114850073MaRDI QIDQ1858433
Publication date: 13 February 2003
Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)
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)
Cites Work
This page was built for publication: Program algebra with unit instruction operators