A Translation of Beta-binders in a Prioritized Pi-calculus
| Autor: | Cappello, Igor, Quaglia, Paola |
|---|---|
| Zdroj: | In Electronic Notes in Theoretical Computer Science 28 February 2009 229(1):109-125 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Cappello, Igor, Quaglia, Paola |
|---|---|
| Zdroj: | In Electronic Notes in Theoretical Computer Science 28 February 2009 229(1):109-125 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect