Publication
Detail
Publication date: 01/05/2017Characteristic bisimulation for higher-order session processes
| Journal | Acta Informatica |
|---|---|
| Publisher | Springer |
| Volume | 54 |
| Number | 3 |
| Journal | Acta Informatica |
| Publisher | Springer |
| Volume | 54 |
| Number | 3 |
| Journal | Acta Informatica |
|---|---|
| Publisher | Springer |
| Volume | 54 |
| Number | 3 |
| Journal | Acta Informatica |
| Publisher | Springer |
| Volume | 54 |
| Number | 3 |