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: |