Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Volume 253; Issue 2

Theoretical Computer Science

Volume 253; Issue 2
1

Foreword

Catuscia Palamidessi
Журнал:
Theoretical Computer Science
Рік:
2001
Мова:
english
Файл:
PDF, 32 KB
english, 2001
2

Names of the π-calculus agents handled locally

Chiara Bodei, Pierpaolo Degano, Corrado Priami
Журнал:
Theoretical Computer Science
Рік:
2001
Мова:
english
Файл:
PDF, 244 KB
english, 2001
3

Proof nets, garbage, and computations

Stefano Guerrini, Simone Martini, Andrea Masini
Журнал:
Theoretical Computer Science
Рік:
2001
Мова:
english
Файл:
PDF, 853 KB
english, 2001
4

π-calculus in (Co)inductive-type theory

Furio Honsell, Marino Miculan, Ivan Scagnetto
Журнал:
Theoretical Computer Science
Рік:
2001
Мова:
english
Файл:
PDF, 312 KB
english, 2001
5

Measure and probability for concurrency theorists

Prakash Panangaden
Журнал:
Theoretical Computer Science
Рік:
2001
Мова:
english
Файл:
PDF, 152 KB
english, 2001
6

Asynchronous process calculi: the first- and higher-order paradigms

Davide Sangiorgi
Журнал:
Theoretical Computer Science
Рік:
2001
Мова:
english
Файл:
PDF, 241 KB
english, 2001
7

Index

Журнал:
Theoretical Computer Science
Рік:
2001
Мова:
english
Файл:
PDF, 32 KB
english, 2001