مرکز منطقه ای اطلاع رساني علوم و فناوري - A compiler to implement LOTOS specifications in distributed environments

Title of article :

A compiler to implement LOTOS specifications in distributed environments

Author/Authors :

Keiichi Yasumoto، نويسنده , , Teruo Higashino ، نويسنده , , Kenichi Taniguchi، نويسنده ,

Issue Information :

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

Pages :

From page :

291

To page :

310

Keywords :

Distributed implementation , LOTOS , Compiler , Formal description techniques , Multi-thread , Multi-way synchronization

Journal title :

Computer Networks

Serial Year :

2001

Journal title :

Computer Networks

Record number :

298991

Link To Document :