A Sound and Complete Axiomatization of Operational Equivalence between Programs with Memory (1989)
by
Ian Mason
,
Carolyn Talcott
| Venue: | In Proc. Symposium on Logic in Computer Science |
| Citations: | 9 - 6 self |
Document Versions
| A Sound and Complete Axiomatization of Operational Equivalence between Programs with Memory –Ian Mason, Carolyn Talcott — 1989 — In Proc. Symposium on Logic in Computer Science |
