مرکز منطقه ای اطلاع رساني علوم و فناوري - Parallel composition and decomposition of specifications

Title of article :

Parallel composition and decomposition of specifications

Author/Authors :

Wolfram Kahl، نويسنده ,

Issue Information :

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

Pages :

From page :

197

To page :

220

Keywords :

Relation algebra , Specification and refinement , direct product , Demonic product , Parallel decomposition , Demonic calculus of relations

Journal title :

Information Sciences

Serial Year :

2001

Journal title :

Information Sciences

Record number :

176293

Link To Document :