The Seal Calculus
| Autor: | Castagna, G., Vitek, J., Zappa Nardelli, F. |
|---|---|
| Zdroj: | In Information and Computation 2005 201(1):1-54 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Castagna, G., Vitek, J., Zappa Nardelli, F. |
|---|---|
| Zdroj: | In Information and Computation 2005 201(1):1-54 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect