Title of article

A closer look at constraints as processes

Author/Authors

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

Issue Information

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

Pages

5

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