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

Editorial board v-ix

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

Transition systems without transitions

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

A fully abstract may testing semantics for concurrent objects

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

An axiomatization of bisimulation quantifiers via the μ-calculus

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

On quasi-open bisimulation

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

Ordering default theories and nonmonotonic logic programs

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

Modular verification of multithreaded programs

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

On the final sequence of a finitary set functor

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

A complexity analysis of functional interpretations

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

An NP decision procedure for protocol insecurity with XOR

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

Simulation relations for alternating Büchi automata

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

Functions with local state: Regularity and undecidability

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

A translation of TPALp into a class of timed-probabilistic Petri nets

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

A method for symbolic analysis of security protocols

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