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

True-concurrency probabilistic models: Markov nets and a law of large numbers

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

Full abstraction for polymorphic π-calculus

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

Optimal reachability for multi-priced timed automata

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

Third-order Idealized Algol with iteration is decidable

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

Expressivity of coalgebraic modal logic: The limits and beyond

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

Free-algebra models for the π -calculus

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