Axiomatizing operational equivalence in the presence of side effects.
| Autor: | Mason, I.A., Talcott, C. |
|---|---|
| Zdroj: | 1989 Proceedings Fourth Annual Symposium on Logic in Computer Science; 1989, p284-293, 10p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|
| Autor: | Mason, I.A., Talcott, C. |
|---|---|
| Zdroj: | 1989 Proceedings Fourth Annual Symposium on Logic in Computer Science; 1989, p284-293, 10p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|