مرکز منطقه ای اطلاع رساني علوم و فناوري - A framework for modeling transfer protocols

Title of article :

A framework for modeling transfer protocols

Author/Authors :

Peter Herrmann، نويسنده , , Heiko Krumm، نويسنده ,

Issue Information :

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

Pages :

From page :

317

To page :

337

Keywords :

Protocol speci®cation , framework , Protocol composition , Protocol veri®cation , Temporal Logic

Journal title :

Computer Networks

Serial Year :

2000

Journal title :

Computer Networks

Record number :

298888

Link To Document :