مرکز منطقه ای اطلاع رساني علوم و فناوري - A closer look at constraints as processes

Title of article :

A closer look at constraints as processes

Author/Authors :

N. Raja، نويسنده , , R.K. Shyamasundar، نويسنده ,

Issue Information :

دوهفته نامه با شماره پیاپی سال 2006

Pages :

From page :

206

To page :

210

Keywords :

Program correctness , Formal semantics , Concurrency , Programming calculi , Compositional encoding

Journal title :

Information Processing Letters

Serial Year :

2006

Journal title :

Information Processing Letters

Record number :

130253

Link To Document :