A Sound and Complete Axiomatization of Operational Equivalence between Programs with Memory (1989)

Cached

Download Links

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