16 citations · 106 across the 22 of their papers we have counts for
Showing 2007Show all
2 papers · 1 filter
cs.PL2007★ 7 cited
Instruction sequences with dynamically instantiated instructions
J. A. Bergstra, C. A. Middelburg
We study sequential programs that are instruction sequences with dynamically instantiated instructions. We define the meaning of such programs in two different ways. In either case…
cs.LO2007★ 2 cited
An interface group for process components
J. A. Bergstra, C. A. Middelburg
We take a process component as a pair of an interface and a behaviour. We study the composition of interacting process components in the setting of process algebra. We formalize th…