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

On the expressiveness of higher dimensional automata

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

Fairness of components in system computations

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

Branching bisimulation for probabilistic systems: Characteristics and decidability

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

Concurrent nets: A study of prefixing in process calculi

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

On the ω-language expressive power of extended Petri nets

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

On the expressive power of KLAIM-based calculi

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

A CPS encoding of name-passing in Higher-order mobile embedded resources

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

Name-passing in an ambient-like calculus and its proof using spatial logic

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

Leader election in rings of ambient processes

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