16 citations · 106 across the 22 of their papers we have counts for
Showing 2009Show all
2 papers · 1 filter
cs.LO2009★ 16 cited
Instruction sequence processing operators
J. A. Bergstra, C. A. Middelburg
Instruction sequence is a key concept in practice, but it has as yet not come prominently into the picture in theoretical circles. This paper concerns instruction sequences, the be…
cs.LO2009★ 5 cited
A process calculus with finitary comprehended terms
J. A. Bergstra, C. A. Middelburg
We introduce the notion of an ACP process algebra and the notion of a meadow enriched ACP process algebra. The former notion originates from the models of the axiom system ACP. The…