Title of article
On constructing communication protocols from component-based service specifications
Author/Authors
Masahide Nakamura، نويسنده , , Yoshiaki Kakuda، نويسنده , , Tohru Kikuno، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1996
Pages
16
From page
1200
To page
1215
Keywords
Integration , Correctness , Protocol synthesis , Service specifmtion , component
Journal title
Computer Communications
Serial Year
1996
Journal title
Computer Communications
Record number
308647
Link To Document