7 citations · 12 across the 2 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2009★ 7 cited
A progression ring for interfaces of instruction sequences, threads, and services
Jan A. Bergstra, Alban Ponse
We define focus-method interfaces and some connections between such interfaces and instruction sequences, giving rise to instruction sequence components. We provide a flexible and…
cs.PL2009
A protocol for instruction stream processing
J. A. Bergstra, C. A. Middelburg
The behaviour produced by an instruction sequence under execution is a behaviour to be controlled by some execution environment: each step performed actuates the processing of an i…