A parametric framework for reversible π-calculi
| Autor: | Medić, Doriana, Mezzina, Claudio Antares, Phillips, Iain, Yoshida, Nobuko |
|---|---|
| Zdroj: | In Information and Computation December 2020 275 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Medić, Doriana, Mezzina, Claudio Antares, Phillips, Iain, Yoshida, Nobuko |
|---|---|
| Zdroj: | In Information and Computation December 2020 275 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect