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:11 - 7 self