Relating operational and denotational semantics for input/output effects.
| Autor: | CROLE, ROY L., GORDON, ANDREW D. |
|---|---|
| Zdroj: | Mathematical Structures in Computer Science; 04/01/1999, Vol. 9 Issue 2, p125-158, 34p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|