دانلود رایگان مقالات نشریه ISI اطلاعات و محاسبات

A model of dynamic separation for transactional memory

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

Spatial and behavioral types in the pi-calculus

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

Quasi-static scheduling of communicating tasks

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

Unfolding-based diagnosis of systems with an evolving topology

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

Complexity of deciding bisimilarity between normed BPA and normed BPP

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

Strategy construction for parity games with imperfect information

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

Deriving structural labelled transitions for mobile ambients

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