![](/img/cover-not-exists.png)
Communication errors in the π-calculus are undecidable
Vasco T. Vasconcelos, António RavaraVolume:
71
Year:
1999
Language:
english
Pages:
5
DOI:
10.1016/s0020-0190(99)00109-x
File:
PDF, 63 KB
english, 1999