Comparing Operational Models of Name-Passing Process Calculi
| Autor: | Fiore, Marcelo, Staton, Sam |
|---|---|
| Zdroj: | In Electronic Notes in Theoretical Computer Science 11 December 2004 106:91-104 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Fiore, Marcelo, Staton, Sam |
|---|---|
| Zdroj: | In Electronic Notes in Theoretical Computer Science 11 December 2004 106:91-104 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect