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