Title of article
Communication errors in the π-calculus are undecidable
Author/Authors
Vasco T. Vasconcelos، نويسنده , , Ant?nio Ravara، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 1999
Pages
5
From page
229
To page
233
Keywords
Programming calculi , concurrency , Program correctness
Journal title
Information Processing Letters
Serial Year
1999
Journal title
Information Processing Letters
Record number
129133
Link To Document