![](/img/cover-not-exists.png)
Using session types for reasoning about boundedness in the $$\pi $$ π -calculus
Hüttel, HansLanguage:
english
Journal:
Acta Informatica
DOI:
10.1007/s00236-019-00339-5
Date:
September, 2019
File:
PDF, 431 KB
english, 2019