25 citations · 637 across the 113 of their papers we have counts for
6 papers · 2 filters
Functional units for natural numbers
J. A. Bergstra, C. A. Middelburg
Interaction with services provided by an execution environment forms part of the behaviours exhibited by instruction sequences under execution. Mechanisms related to the kind of in…
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…
Indirect jumps improve instruction sequence performance
J. A. Bergstra, C. A. Middelburg
Instruction sequences with direct and indirect jump instructions are as expressive as instruction sequences with direct jump instructions only. We show that, in the case where the…
Instruction sequence notations with probabilistic instructions
J. A. Bergstra, C. A. Middelburg
This paper concerns instruction sequences that contain probabilistic instructions, i.e. instructions that are themselves probabilistic by nature. We propose several kinds of probab…
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…
Transmission protocols for instruction streams
J. A. Bergstra, C. A. Middelburg
Threads as considered in thread algebra model behaviours to be controlled by some execution environment: upon each action performed by a thread, a reply from its execution environm…