Title of article
Parallel composition and decomposition of specifications
Author/Authors
Wolfram Kahl، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2001
Pages
24
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