مرکز منطقه ای اطلاع رساني علوم و فناوري - Trace and Testing Equivalence on Asynchronous Processes

Title of article :

Trace and Testing Equivalence on Asynchronous Processes

Author/Authors :

Michele Boreale، نويسنده , , Rocco De Nicola، نويسنده , , Rosario Pugliese، نويسنده ,

Issue Information :

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

Pages :

From page :

139

To page :

164

Keywords :

asynchronous communications , semantics. , Process algebras

Journal title :

Information and Computation

Serial Year :

2002

Journal title :

Information and Computation

Record number :

262026

Link To Document :