Axioms for behavioural congruence of single-pass instruction sequences
| Authors | |
|---|---|
| Publication date | 12-02-2017 |
| Number of pages | 19 |
| Publisher | Amsterdam: Informatics Institute, University of Amsterdam |
| Organisations |
|
| Abstract | 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 paper is the first one that is concerned with an axiom system for the third congruence. |
| Document type | Working paper |
| Note | Version 2 also on arXiv.org |
| Language | English |
| Published at | https://arxiv.org/abs/1702.03511v1 |
| Downloads |
1702.03511v1
(Submitted manuscript)
|
| Permalink to this page | |
