25 citations · 637 across the 113 of their papers we have counts for
Showing 2011 · cs.PLShow all
2 papers · 2 filters
cs.PL2011★ 13 cited
Putting Instruction Sequences into Effect
Jan A. Bergstra
An attempt is made to define the concept of execution of an instruction sequence. It is found to be a special case of directly putting into effect of an instruction sequence. Direc…
cs.PL2011★ 2 cited
On the behaviours produced by instruction sequences under execution
J. A. Bergstra, C. A. Middelburg
We study several aspects of the behaviours produced by instruction sequences under execution in the setting of the algebraic theory of processes known as ACP. We use ACP to describ…