مرکز منطقه ای اطلاع رساني علوم و فناوري - Abstract interpretation of trace semantics for concurrent calculi

Title of article :

Abstract interpretation of trace semantics for concurrent calculi

Author/Authors :

Roberto Barbuti، نويسنده , , Nicoletta De Francesco، نويسنده , , Antonella Santone، نويسنده , , Gigliola Vaglini، نويسنده ,

Issue Information :

دوهفته نامه با شماره پیاپی سال 1999

Pages :

From page :

To page :

Keywords :

abstract interpretation , Concurrency , Formal semantics

Journal title :

Information Processing Letters

Serial Year :

1999

Journal title :

Information Processing Letters

Record number :

129069

Link To Document :