25 citations · 69 across the 20 of their papers we have counts for
Showing 2008 · cs.PLShow all
2 papers · 2 filters
cs.PL2008
Instruction sequences for the production of processes
J. A. Bergstra, C. A. Middelburg
Single-pass instruction sequences under execution are considered to produce behaviours to be controlled by some execution environment. Threads as considered in thread algebra model…
cs.PL2008★ 5 cited
Programming an interpreter using molecular dynamics
J. A. Bergstra, C. A. Middelburg
PGA (ProGram Algebra) is an algebra of programs which concerns programs in their simplest form: sequences of instructions. Molecular dynamics is a simple model of computation devel…