مرکز منطقه ای اطلاع رساني علوم و فناوري - Termination of just/fair computations in term rewriting

Title of article :

Termination of just/fair computations in term rewriting

Author/Authors :

Salvador Lucas، نويسنده , , José Meseguer، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 2008

Pages :

From page :

652

To page :

675

Keywords :

Concurrent programming , Term rewriting , Program analysis , Termination , fairness

Journal title :

Information and Computation

Serial Year :

2008

Journal title :

Information and Computation

Record number :

262476

Link To Document :