Denotational linear time semantics and sequential composition.
| Julkaisussa: | Information processing letters. 59, 3 (1996). |
|---|---|
| Päätekijä: | |
| Aineistotyyppi: | Artikkeli |
| Kieli: | English |
| Aiheet: |
| Julkaisussa: | Information processing letters. 59, 3 (1996). |
|---|---|
| Päätekijä: | |
| Aineistotyyppi: | Artikkeli |
| Kieli: | English |
| Aiheet: |