مرکز منطقه ای اطلاع رساني علوم و فناوري - The formal semantics of SDL-2000: Status and perspectives

Title of article :

The formal semantics of SDL-2000: Status and perspectives

Author/Authors :

U. Glasser، نويسنده , , R. Gotzhein، نويسنده , , A. Prinz، نويسنده ,

Issue Information :

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

Pages :

From page :

343

To page :

358

Keywords :

Abstract state machines , SDL , System design , Distributed Systems , Formal semantics

Journal title :

Computer Networks

Serial Year :

2003

Journal title :

Computer Networks

Record number :

299275

Link To Document :