Title of article
Deriving protocol specifications from service specifications written as Predicate/Transition-nets
Author/Authors
Hirozumi Yamaguchi، نويسنده , , Khaled El-Fakih، نويسنده , , Gregor v. Bochmann، نويسنده , , Teruo Higashino ، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2007
Pages
27
From page
258
To page
284
Keywords
Petri net , Distributed system , Specification , Automated design
Journal title
Computer Networks
Serial Year
2007
Journal title
Computer Networks
Record number
299855
Link To Document