Transposing partial components—An exercise on coalgebraic refinement
| Autor: | Barbosa, Luís S. ⁎, e1, Oliveira, José N. |
|---|---|
| Zdroj: | In Theoretical Computer Science 2006 365(1):2-22 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Barbosa, Luís S. ⁎, e1, Oliveira, José N. |
|---|---|
| Zdroj: | In Theoretical Computer Science 2006 365(1):2-22 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect