مرکز منطقه ای اطلاع رساني علوم و فناوري - Deriving protocol specifications from service specifications written as Predicate/Transition-nets

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 :

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 :