Program algebra with unit instruction operators
From MaRDI portal
Publication:1858433
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
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
Cited In (5)
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)