articles
Detail
Publication date: 1 de June, 2021Publication Characteristic bisimulation for higher-order session processes – Journal Acta Informatica
| Journal | Acta Informatica |
|---|---|
| Publisher | Springer |
| Volume | 54 |
| Number | 3 |
| Pub. Date | 01/05/2017 |
| Journal | Acta Informatica |
|---|---|
| Publisher | Springer |
| Volume | 54 |
| Number | 3 |
| Pub. Date | 01/05/2017 |