- Published 2017 in Sci. Ann. Comp. Sci.

In program algebra, an algebraic theory of single-pass instruction sequences, three congruences on instruction sequences are paid attention to: instruction sequence congruence, structural congruence, and behavioural congruence. Sound and complete axiom systems for the first two congruences were already given in early papers on program algebra. The current… CONTINUE READING

### Presentations referencing similar topics