Axiomatizing Operational Equivalence in the presence of Side Effects (1989)

Cached

Download Links

by Ian Mason , Carolyn Talcott
Venue:In Fourth Annual Symposium on Logic in Computer Science. IEEE
Citations:20 - 9 self