Program algebra for component code
From MaRDI portal
Publication:1586164
DOI10.1007/PL00003928zbMath0964.68509MaRDI QIDQ1586164
Publication date: 14 November 2000
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Related Items
Instruction sequence processing operators, Program algebra for sequential code, Program algebra with unit instruction operators, Combining programs and state machines, Molecular dynamics, Synchronous cooperation for explicit multi-threading