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

The multiple facets of the canonical direct unit implicational basis

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

Dcpo-completion of posets

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

Using abstract interpretation to add type checking for interfaces in Java bytecode verification

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

Non-expansive ϵ-bisimulations for probabilistic processes

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

An exact correspondence between a typed pi-calculus and polarised proof-nets

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

Probabilistic anonymity via coalgebraic simulations

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

A fluid analysis framework for a Markovian process algebra

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

Model checking memoryful linear-time logics over one-counter automata

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

Alternating states for dual nondeterminism in imperative programming

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

Complexity of metric temporal logics with counting and the Pnueli modalities

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