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 :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=129133
بازگشت