in_proceedings
Detail
Publication date: 28 de March, 2022Manifest Deadlock-Freedom for Shared Session Types
| Publisher | Springer |
|---|---|
| Series | Lecture Notes in Computer Science |
| Volume | 11423 |
| Pub. Date | 06/04/2019 |
| Publisher | Springer |
|---|---|
| Series | Lecture Notes in Computer Science |
| Volume | 11423 |
| Pub. Date | 06/04/2019 |