Minimal session types for the π-calculus
| Autor: | Arslanagić, Alen ⁎, Pérez, Jorge A. ⁎, Palamariuc, Anda-Amelia |
|---|---|
| Zdroj: | In Information and Computation March 2024 297 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Arslanagić, Alen ⁎, Pérez, Jorge A. ⁎, Palamariuc, Anda-Amelia |
|---|---|
| Zdroj: | In Information and Computation March 2024 297 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect