دانلود رایگان مقالات نشریه ISI علوم کامپیوتر نظری

CCS with Hennessy's merge has no finite-equational axiomatization

29 صفحه فرمت PDF سال انتشار : 2005 دانلود متن کامل مقاله ISI سفارش ترجمه

A hierarchy of failures-based models: theory and application

32 صفحه فرمت PDF سال انتشار : 2005 دانلود متن کامل مقاله ISI سفارش ترجمه

On the representation of McCarthy's amb in the π-calculus

35 صفحه فرمت PDF سال انتشار : 2005 دانلود متن کامل مقاله ISI سفارش ترجمه

Elimination of spatial connectives in static spatial logics

25 صفحه فرمت PDF سال انتشار : 2005 دانلود متن کامل مقاله ISI سفارش ترجمه

On the computational strength of pure ambient calculi

51 صفحه فرمت PDF سال انتشار : 2005 دانلود متن کامل مقاله ISI سفارش ترجمه

Weak bisimilarity and regularity of context-free processes is EXPTIME-hard

23 صفحه فرمت PDF سال انتشار : 2005 دانلود متن کامل مقاله ISI سفارش ترجمه

Decidability of infinite-state timed CCP processes and first-order LTL

31 صفحه فرمت PDF سال انتشار : 2005 دانلود متن کامل مقاله ISI سفارش ترجمه

Master index

12 صفحه فرمت PDF سال انتشار : 2005 دانلود متن کامل مقاله ISI سفارش ترجمه