مرکز منطقه ای اطلاع رساني علوم و فناوري - Basic observables for a calculus for global computing

Title of article :

Basic observables for a calculus for global computing

Author/Authors :

Rocco De Nicola، نويسنده , , Daniele Gorla، نويسنده , , Rosario Pugliese، نويسنده ,

Issue Information :

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

Pages :

From page :

1491

To page :

1525

Keywords :

Bisimulation , May testing , Explicit connections , Process calculi , Basic observables , Distribution and mobility

Journal title :

Information and Computation

Serial Year :

2007

Journal title :

Information and Computation

Record number :

262438

Link To Document :